Home
Formal Description Techniques IX: Theory, application and tools
Barnes and Noble
Loading Inventory...
Formal Description Techniques IX: Theory, application and tools in Chattanooga, TN
By Barnes & Noble
Current price: $329.99

Barnes and Noble
Formal Description Techniques IX: Theory, application and tools in Chattanooga, TN
By Barnes & Noble
Current price: $329.99
Loading Inventory...
Size: Hardcover
This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Prool Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication prools and distributed systems, with special emphasis on standardised FDTs. It features state-of-the-art in theory, application, tools and industrialisation of formal description.
This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Prool Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication prools and distributed systems, with special emphasis on standardised FDTs. It features state-of-the-art in theory, application, tools and industrialisation of formal description.

















