Artículos relacionados a Systematic Software Development Using V. D. M. (Prentice...
Systematic Software Development Using V. D. M. (Prentice Hall International Series in Computing Science) - Tapa blanda
Sinopsis
A practical guide to software development using DVM, a mathematically based technique for formal specification and correctness reasoning. This edition uses BSI (draft) standard VDM notation, emphasizes the formal approach to specification and design and explains formal proofs for data types.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
A practical guide to software development using DVM, a mathematically based technique for formal specification and correctness reasoning. This edition uses BSI (draft) standard VDM notation, emphasizes the formal approach to specification and design and explains formal proofs for data types.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Systematic Software Development Using V. D. M. (Prentice...
Imagen de archivo
Systematic Software Development Using Vdm
Publicado por
Pearson Education, Limited, 1990
ISBN 10: 0138807337
ISBN 13: 9780138807337
Antiguo o usado
Tapa blanda
Librería: Better World Books: West, Reno, NV, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Very Good. Subsequent. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Nº de ref. del artículo: 57653808-75
Comprar usado
EUR 45,25
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Systematic Software Development Using Vdm (Prentice-hall International Series in Computer Science)
Publicado por
Prentice-Hall, 1990
ISBN 10: 0138807337
ISBN 13: 9780138807337
Antiguo o usado
Tapa blanda
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Gut. Zustand: Gut | Seiten: 350 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Nº de ref. del artículo: 38615772/3
Comprar usado
EUR 8,94
Envío por EUR 105,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles