Verkauf durch Sack Fachmedien

Hogrefe / Leue

Formal Description Techniques VII

Medium: Buch
ISBN: 978-0-412-64450-4
Verlag: Springer Us
Erscheinungstermin: 28.02.1995
Lieferfrist: bis zu 10 Tage
Autoren/Hrsg.

Herausgeber

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