Cantitate/Preț
Produs
Total produse
Vezi coșul
Formal Description Techniques VIII de Gregor von Bochmann

Formal Description Techniques VIII: IFIP Advances in Information and Communication Technology

Editat de Gregor von Bochmann, Rachida Dssouli, Omar Rafiq
en Limba Engleză Hardback – 31 ian 1996
This volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. The book presents the selected proceedings of the eighth International Conference on Formal Description Techniques, arranged by the International Federation for Information Processing and held in Montreal, Canada, October 1995.
Citește tot Restrânge

Din seria IFIP Advances in Information and Communication Technology

Preț: 119596 lei

Preț vechi: 145849 lei
-18% Nou

Puncte Express: 1794
Preț estimativ în valută:
22891€ • 23858$ • 19055£

Carte tipărită la comandă

Livrare economică 06-20 ianuarie 25

 Adaugă în coș

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

Specificații

ISBN-13: 9780412732706
ISBN-10: 041273270X
Pagini: 452
Ilustrații: XIV, 452 p.
Dimensiuni: 155 x 235 x 27 mm
Greutate: 0.84 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

Preface. Invited presentation. Design methodologies. Verification I. Algebraic languages. System specification and Z. Invited presentation. Industrial experiences. Applying formal methods. Tools and testing. Real-time and stochastic systems. Verification II. List of tools for demonstrations. Keyword index.