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.
EUR 13,23
EUR 3,87 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoOtras ediciones populares con el mismo título
Resultados de la búsqueda para Systematic Software Development Using V. D. M. (Prentice...
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
Paperback
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 0.6. Nº de ref. del artículo: G0138807337I3N00
Cantidad disponible: 1 disponibles
Imagen del vendedor
Systematic Software Development Using Vdm (Prentice-Hall International Series in Computer Science)
Publicado por
Prentice-Hall 01.04.1990., 1990
ISBN 10: 0138807337
ISBN 13: 9780138807337
Antiguo o usado
Tapa blanda
Librería: NEPO UG, Rüsselsheim am Main, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Gut. Auflage: 2 Sub. 350 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 396 23,2 x 17,4 x 1,8 cm, Taschenbuch. Nº de ref. del artículo: 377358
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. Nº de ref. del artículo: 38615772/3
Cantidad disponible: 1 disponibles
Imagen de archivo
Systematic Software Development Using V. D. M. (Prentice Hall International Series in Computing Science)
Publicado por
Prentice Hall, 1990
ISBN 10: 0138807337
ISBN 13: 9780138807337
Antiguo o usado
Paperback
Librería: WorldofBooks, Goring-By-Sea, WS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Fair. A readable copy of the book which may include some defects such as highlighting and notes. Cover and pages may be creased and show discolouration. Nº de ref. del artículo: GOR002849933
Cantidad disponible: 1 disponibles
Imagen de archivo
Systematic Software Development Using V. D. M. (Prentice Hall International Series in Computing Science)
Publicado por
Prentice Hall, 1990
ISBN 10: 0138807337
ISBN 13: 9780138807337
Antiguo o usado
Paperback
Librería: WorldofBooks, Goring-By-Sea, WS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Nº de ref. del artículo: GOR001510392
Cantidad disponible: 1 disponibles