Geschäftskunden Kundenprogramme
Vor Ort
Merkzettel Warenkorb
Produktbild: Modelling Systems

Modelling Systems Practical Tools and Techniques in Software Development

Fr. 91.90

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

11.06.2009

Verlag

Cambridge University Press

Seitenzahl

304

Maße (L/B/H)

25.3/17.7/1.6 cm

Gewicht

690 g

Sprache

Englisch

ISBN

978-0-521-89911-6

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

11.06.2009

Verlag

Cambridge University Press

Seitenzahl

304

Maße (L/B/H)

25.3/17.7/1.6 cm

Gewicht

690 g

Sprache

Englisch

ISBN

978-0-521-89911-6

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern
  • Produktbild: Modelling Systems

  • Foreword to the first edition; Preface; 1. Introduction; 2. Constructing a model; 3. VDMTools Lite; 4. Describing system properties using logical expressions; 5. The elements of a formal model; 6. Sets; 7. Sequences; 8. Mappings; 9. Recursive structures; 10. Validating models; 11. State-based modelling; 12. Large-scale modelling; 13. Using VDM in practice; A. Language guide; B. Solutions to exercises; Bibliography; Subject index; Definitions index.