Dados do Acervo - Livros

Número de Chamada   
 
005.1    M426m   
Entradas Secundárias - Autor Bibel, W. 1938-
Jantke, K. P.
Título Principal Mathematical methods of specification and systhesis of software systems '85 : Proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985 / edited by W. Bibel and K. P. Jantke
Publicação Berlin : New York : Springer, [c1986].
Descrição Física 245 p. : il. ; 25 cm
Série Lecture Notes in Computer Science 215
Notas Inclui bibliografias
ISBN 0387164448 (broch.)
Assuntos Software Desenvolvimento Congressos