044 209 91 25 079 869 90 44
Notepad
The notepad is empty.
The basket is empty.
Free shipping possible
Free shipping possible
Please wait - the print view of the page is being prepared.
The print dialogue opens as soon as the page has been completely loaded.
If the print preview is incomplete, please close it and select "Print again".
Formal Description Techniques IX
ISBN/GTIN

Formal Description Techniques IX

Theory, application and tools
BookHardcover
Ranking86747inTechnik
CHF358.00

Description

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 state-of-the-art in theory, application, tools and industrialisation of formal description.
More descriptions

Details

ISBN/GTIN978-0-412-79490-2
Product TypeBook
BindingHardcover
PublisherSpringer Us
Publication countryGermany
Publishing date30/09/1996
Edition1996
SeriesIFIP Advances in Information and Communication Technology
Pages532 pages
LanguageEnglish
SizeWidth 160 mm, Height 241 mm, Thickness 33 mm
Weight957 g
Article no.4802574
CatalogsBuchzentrum
Data source no.3222061
Product groupTechnik
More details

Series

Author

More products from Bredereke, J.

Editor