A theory and practice of program development /

A Theory and Practice of Program Development provides a comprehensive introduction to a formal software development method based on the specification language VDM-SL. The method starts with an abstract formal specification of a software system and uses a series of development steps that preserve cor...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Autor principal: Andrews, Derek
Formato: Livro
Idioma:English
Publicado em: London : New York : Springer, c1997.
Colecção:Formal approaches to computing and information technology.
Assuntos:

CARM 1 Store

Detalhes do Exemplar CARM 1 Store
Área/Cota: A3:AE02A0 B11616
Cód. Barras: 1 Disponível  Localização