• Produktbild: Formal Description Techniques VIII
  • Produktbild: Formal Description Techniques VIII

Formal Description Techniques VIII

185,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

31.01.1996

Abbildungen

XIV, 452 p.

Herausgeber

Gregor Bochmann + weitere

Verlag

Springer Us

Seitenzahl

452

Maße (L/B/H)

23,4/15,6/2,7 cm

Gewicht

835 g

Auflage

1996 edition

Sprache

Englisch

ISBN

978-0-412-73270-6

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

31.01.1996

Abbildungen

XIV, 452 p.

Herausgeber

Verlag

Springer Us

Seitenzahl

452

Maße (L/B/H)

23,4/15,6/2,7 cm

Gewicht

835 g

Auflage

1996 edition

Sprache

Englisch

ISBN

978-0-412-73270-6

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Formal Description Techniques VIII
  • Produktbild: Formal Description Techniques VIII
  • Preface. Invited presentation. Design methodologies. Verification I. Algebraic languages. System specification and Z. Invited presentation. Industrial experiences. Applying formal methods. Tools and testing. Real-time and stochastic systems. Verification II. List of tools for demonstrations. Keyword index.