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. Artikel-Nr. F-933-979
Anzahl: 1 verfügbar