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 PTR, 1992
ISBN 10: 0139510621
ISBN 13: 9780139510625
Antiguo o usado
Tapa blanda
Librería: Better World Books Ltd, Dunfermline, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Nº de ref. del artículo: GRP15512471
Comprar usado
EUR 20,01
Envío por EUR 5,90
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles