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

Preț vechi: 150327 lei
-18%

Puncte Express: 1849

Carte tipărită la comandă

Livrare economică 16-30 octombrie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 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