Amvik eBook Solutions
Read and Download eBook Online Now
Related Books
Language: en
Pages: 596
Pages: 596
Type: BOOK - Published: 2013-10-22 - Publisher: Elsevier
Formality is becoming accepted as essential in the development of complex systems such as multi-layer communications protocols and distributed systems. Formalit
Language: en
Pages: 513
Pages: 513
Type: BOOK - Published: 2016-01-09 - Publisher: Springer
This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series
Language: en
Pages: 450
Pages: 450
Type: BOOK - Published: 2016-01-09 - Publisher: Springer
This volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundat
Language: en
Pages: 494
Pages: 494
Type: BOOK - Published: 2001-10-22 - Publisher: Cambridge University Press
Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems. A major theme of the book
Language: en
Pages: 461
Pages: 461
Type: BOOK - Published: 2006-04-11 - Publisher: Springer
FORTE 2001, formerly FORTE/PSTV conference, is a combined conference of FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols
