J. Bredereke – författare
Visar alla böcker från författaren J. Bredereke. Handla med fri frakt och snabb leverans.
2 produkter
Formal Description Techniques IX
Theory, application and tools
E-bok, 2016
4066 kr
Lägg i varukorg
This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with special emphasis on standardised FDTs. It features …
Formal Description Techniques IX
Theory, application and tools
Inbunden, 1996
3274 kr
Lägg i varukorg
This volume contains the combined proceedings of the IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with special emphasis on standardized FDTs. It features …