Liknande böcker

Formal Description Techniques IX
Bok av R Gotzhein
Protocol Test Systems : 7th workshop 7th IFIP WG 6.1 international works...
Bok av Tadanori Mizuno
Multiwavelength optical LANs
Bok av G I Papadimitriou
High Performance Networking : IFIP sixth international conference on hig...
Bok av Ramon Puigjaner
Testing of Communicating Systems : IFIP TC6 9th International Workshop o...
Bok av Bernd Baumgarten
Bandwidth Extension of Speech Signals
Bok av Bernd. Iser
Open Distributed Processing : Experiences with distributed environments
Bok av Kerry Raymond
Integrated Network Management IV : Proceedings of the fourth internation...
Bok av A S Sethi

Formal Description Techniques VII

Bok av Dieter Hogrefe
This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.