Cantitate/Preț
Produs
Total produse
Vezi coșul
Formal Description Techniques VII de D. Hogrefe

Formal Description Techniques VII

Editat de D. Hogrefe, S. Leue
en Limba Engleză Hardback – 28 feb 1995
This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.
Citește tot Restrânge

Preț: 118123 lei

Preț vechi: 144052 lei
-18% Nou

Puncte Express: 1772
Preț estimativ în valută:
20899€ • 24348$ • 18250£

Carte tipărită la comandă

Livrare economică 20 ianuarie-03 februarie 26

 Adaugă în coș

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

Specificații

ISBN-13: 9780412644504
ISBN-10: 0412644509
Pagini: 522
Ilustrații: XIV, 522 p.
Dimensiuni: 156 x 234 x 30 mm
Greutate: 0.93 kg
Ediția:1995 edition
Editura: Springer Us
Locul publicării:New York, NY, United States

Public țintă

Research

Cuprins

Preface. Invited talk. New techniques. Applications. FDTs go commercial. Verification. Verification and real-time. Semantics. Testing and performace. Refinement. Index of contributors. Keyword index.

Recenzii

Although this is a multi-author production, the subject matter is so concise that the usual pitfall of superficially covering too many different issues has been prevented ... A very technical but concise reference book - Network