Contatto
Come acquistare
Consegna
Guida all'acquisto
Formal Techniques for Networked and Distributed Systems - FORTE 2005
25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings
Inglese
267 b
Fino a 30 giorni per il reso
I clienti hanno acquistato anche
/
In brossura
8.89
€
/
In brossura
32.89
€
This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2005, held in Taipei, Taiwan, in October 2005.The 33 revised full papers and 6 short papers presented together with 3 keynote speeches were carefully reviewed and selected from 88 submissions. The papers cover all current aspects of formal methods for distributed systems and communication protocols such as formal description techniques (MSC, UML, Use cases, . . .), semantic foundations, model-checking, SAT-based techniques, process algebrae, abstractions, protocol testing, protocol verification, network synthesis, security system analysis, network robustness, embedded systems, communication protocols, and several promising new techniques.
Informazioni sul libro
Inglese
Categorie
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatarioPotrebbe interessarti anche
/
In brossura
17.29
€
/
In brossura
18.09
€
/
In brossura
24.99
€
/
Rigido
136.79
€
Ciao! Sono Libroamiko, il tuo consulente di libri.
Come posso aiutarti?