Articles liés à Verifiable Programming
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Verifiable Programming
Image d'archives
Verifiable Programming
Edité par
Prentice-Hall, 1992
ISBN 10 : 0139510621
ISBN 13 : 9780139510625
Ancien ou d'occasion
Softcover
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : 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. N° de réf. du vendeur F-933-979
Quantité disponible : 1 disponible(s)
Image d'archives
Verifiable Programming (Prentice-hall International Series in Computer Science)
Edité par
Prentice Hall, 1992
ISBN 10 : 0139510621
ISBN 13 : 9780139510625
Ancien ou d'occasion
paperback
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
paperback. Etat : 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! N° de réf. du vendeur S_421399503
Quantité disponible : 1 disponible(s)