Cantitate/Preț
Produs
Total produse
Vezi coșul
Formal Description Techniques IX: Theory, application and tools de R. Gotzhein

Formal Description Techniques IX: Theory, application and tools: IFIP Advances in Information and Communication Technology

Editat de R. Gotzhein, J. Bredereke
en Limba Engleză Hardback – 30 sep 1996
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.
Citește tot Restrânge

Din seria IFIP Advances in Information and Communication Technology

Preț: 183333 lei

Preț vechi: 223577 lei
-18% Nou

Puncte Express: 2750
Preț estimativ în valută:
35085€ • 36196$ • 29694£

Carte tipărită la comandă

Livrare economică 05-19 martie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9780412794902
ISBN-10: 041279490X
Pagini: 518
Ilustrații: X, 518 p.
Dimensiuni: 155 x 235 x 30 mm
Greutate: 0.92 kg
Ediția:1996
Editura: Springer Us
Colecția Springer
Seria IFIP Advances in Information and Communication Technology

Locul publicării:New York, NY, United States

Public țintă

Research

Cuprins

Tools and tool support. FDT-application. FDT-based system and protocol engineering. Performance modelling and analysis. Real-time and probability aspects. Verification and validation. Industrial usage reports. Extensions of FDTs and semantical foundations.