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
|
|