Formal Description Techniques Ix
Download Formal Description Techniques Ix full books in PDF, epub, and Kindle. Read online free Formal Description Techniques Ix ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Related Books
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: 443
Pages: 443
Type: BOOK - Published: 2003-11-03 - Publisher: Springer
This volume contains the proceedings of FORTE 2003, the 23rd IFIP TC 6/ WG 6.1 International Conference on Formal Techniques for Networked and D- tributed Syste
Language: en
Pages: 462
Pages: 462
Type: BOOK - Published: 2013-04-17 - Publisher: Springer
Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed syst
Language: en
Pages: 362
Pages: 362
Type: BOOK - Published: 2011-06-11 - Publisher: Springer
This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMO
Language: en
Pages: 289
Pages: 289
Type: BOOK - Published: 2016-05-23 - Publisher: Springer
This book constitutes the proceedings of the 36th IFIP WG 6.1International Conference on Formal Techniques for Distributed Objects,Components, and Systems, FORT
Top