Verwandte Artikel zu Verifiable Programming (Prentice Hall International...
Inhaltsangabe
This work on programming is aimed at those who know how very difficult a task it is. It adopts two approaches - focusing on program verifiability through reasoning about the program text and identifying a style of "abstract" formal concept definition for reasoning about programs.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
This work on programming is aimed at those who know how very difficult a task it is. It adopts two approaches - focusing on program verifiability through reasoning about the program text and identifying a style of abstract formal concept definition for reasoning about programs.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Gebraucht kaufen
Zustand: Gut bis sehr gutAncien livre de bibliothèque. Couverture...
Diesen Artikel anzeigen
EUR 30,95
EUR 3,99 für den Versand von Frankreich nach Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Verifiable Programming (Prentice Hall International...
Beispielbild für diese ISBN
Verifiable Programming
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: Bon. Ancien livre de bibliothèque. Couverture différente. Edition 1992. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Different cover. Edition 1992. Ammareal gives back up to 15% of this item's net price to charity organizations. Bestandsnummer des Verkäufers F-933-979
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Verifiable Programming (Prentice-hall International Series in Computer Science)
Anbieter: HPB-Red, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
paperback. Zustand: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Bestandsnummer des Verkäufers S_421399503
Anzahl: 1 verfügbar