Artículos relacionados a Verifiable Programming (Prentice Hall International...
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Verifiable Programming (Prentice Hall International...
Imagen de archivo
Verifiable Programming
Publicado por
Prentice-Hall, 1992
ISBN 10: 0139510621
ISBN 13: 9780139510625
Antiguo o usado
Softcover
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
Softcover. Condición: 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 ref. del artículo: F-933-979
Cantidad disponible: 1 disponibles
Imagen de archivo
Verifiable Programming (Prentice-hall International Series in Computer Science)
Publicado por
Prentice Hall, 1992
ISBN 10: 0139510621
ISBN 13: 9780139510625
Antiguo o usado
paperback
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
paperback. Condición: 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 ref. del artículo: S_421399503
Cantidad disponible: 1 disponibles