Formal Description Techniques VII

Inbunden, Engelska, 1995

Del i serien IFIP Advances in Information and Communication Technology

2 117 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.

Produktinformation

Utgivningsdatum:1995-02-28
Mått:155 x 235 x 30 mm
Vikt:925 g
Format:Inbunden
Språk:Engelska
Serie:IFIP Advances in Information and Communication Technology
Antal sidor:522
Upplaga:1995
Förlag:Chapman and Hall
ISBN:9780412644504

Utforska kategorier

Recensioner i media

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

Innehållsförteckning

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