Willkommen. Schön, sind Sie da!
Mein Ex Libris
DEFR
KontaktGeschenkefinderGutscheineFirmenkundschaftFilialen
0
Erweiterte Suche
🔥 20% auf alle Bücher 📖
Zur Aktion

Formal Description Techniques VII

Rabatt

Beschreibung

This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques. Inhalt Preface. Invited talk. New techniques. Applications. FDTs go commercial. Ve...

Format auswählen

Fester Einband
CHF 315.20
CHF252.15
E-Book (pdf)
CHF236.90
-20%Sie sparen CHF 63.05
315.20
CHF252.15
Exemplar wird für Sie besorgt. 
Kostenlose Lieferung 
Kein Rückgaberecht 
20% auf alle Bücher: Nur bis Montag

Wird oft zusammen gekauft

Andere Kunden kauften auch

Beschreibung

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

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

Produktinformationen

Titel:
Formal Description Techniques VII
Untertitel:
IFIP Advances in Information and Communication Technology
Editor:
D. Hogrefe
,
S. Leue
EAN:
9780412644504
ISBN:
978-0-412-64450-4
Format:
Fester Einband
Herausgeber:
SPRINGER VERLAG GMBH
Genre:
Thermal Engineering
Anzahl Seiten:
522
Gewicht:
2050g
Größe:
H30mm x B234mm x T156mm
Jahr:
1995
Untertitel:
Englisch
Auflage:
1995 edition
Lesemotiv:
Verstehen

Mehr entdecken: Technology

Aeronautical Engineering, Books on Technology, Electrical Engineering, Environmental Technology, Mechanical Engineering, Technology Encyclopedias, Thermal Engineering