Logic and specification extending VDM-SL for advanced formal specification

Logic and specification extending VDM-SL for advanced formal specification

Detalhes bibliográficos
Autor principal: Middelburg, Cornelis A.
Formato: Livro
Idioma:English
Publicado em: London Chapman & Hall c1993.
Assuntos:
Logic, Symbolic and mathematical.
Software engineering.