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ț: 117193 lei

Preț vechi: 142918 lei
-18%

Puncte Express: 1758
Preț estimativ în valută:
20723€ • 23764$ • 17910£

Carte tipărită la comandă

Livrare economică 27 aprilie-11 mai

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

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