Articoli correlati a Verifiable Programming
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Product Description
Book by Dahl OleJohan
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra usato
Condizioni: quasi ottimoAncien livre de bibliothèque. Couverture...
Visualizza questo articolo
EUR 30,95
EUR 8,00 per la spedizione da Francia a Italia
Destinazione, tempi e costiRisultati della ricerca per Verifiable Programming
Foto dell'editore
Verifiable Programming
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Softcover. Condizione: 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. Codice articolo F-933-979
Quantità: 1 disponibili
Foto dell'editore
Verifiable Programming (Prentice-hall International Series in Computer Science)
Da: HPB-Red, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: 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! Codice articolo S_421399503
Quantità: 1 disponibili