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

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

Editat de D. Hogrefe, S. Leue
en Limba Engleză Paperback – 13 mar 1996
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

Din seria IFIP Advances in Information and Communication Technology

Preț: n/a

Nou

Disponibilitate incertă


Wish list
Gift list
Am citit!
Adaugă în listă
Doresc să fiu notificat când acest titlu va fi disponibil:
Trimite
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9781504128810
ISBN-10: 1504128818
Dimensiuni: 155 x 235 mm
Ediția:Softcover reprint of the original 1st ed. 1995
Editura: Springer Us
Colecția Springer
Seria IFIP Advances in Information and Communication Technology

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

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