Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 14.09.2026 auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher, nicht preisgebundene Bücher und Kalender in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind Abos & Flatrates, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Nur gültig mit im Onlineshop hinterlegter Bonuscard. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services.
Produktbild: Tool Support for System Specification, Development and Verification

Tool Support for System Specification, Development and Verification

Aus der Reihe Advances in Computing Sciences

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.03.1999

Abbildungen

IX, 232 p. 53 illus.

Herausgeber

Rudolf Berghammer + weitere

Verlag

Springer Wien

Seitenzahl

232

Maße (L/B/H)

23,5/15,5/1,4 cm

Gewicht

382 g

Auflage

Softcover reprint of the original 1st ed. 1999

Sprache

Englisch

ISBN

978-3-211-83282-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.03.1999

Abbildungen

IX, 232 p. 53 illus.

Herausgeber

Verlag

Springer Wien

Seitenzahl

232

Maße (L/B/H)

23,5/15,5/1,4 cm

Gewicht

382 g

Auflage

Softcover reprint of the original 1st ed. 1999

Sprache

Englisch

ISBN

978-3-211-83282-0

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

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: Tool Support for System Specification, Development and Verification
  • Formal Methods and Tools: Introduction and Overview.- Model Elimination with Simplification and its Application to Software Verification.- Applications of the RelView System.- Lutess: A Testing Environment for Synchronous Software.- PAMELA+PVS Verification of Sequential Programs.- ASTRA: An Integrated Tool Set for Complex Systems Dependability Studies.- Formal Verification of Statemate-Statecharts.- Correct Programs without Proof? On Checker-Based Program Verification.- Synchronie Workbench.- The Term Graph Programming System HOPS.- Truth — A Verification Platform for Concurrent Systems.- Tool Integration in the UniForM-Workbench.- An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems.- Towards Light-Weight Verification and Heavy-Weight Testing.- SFI: a Feature Integration Tool.- Modular Reasoning about Structured TLA Specifications.- Addresses of Contributors.