
Conte aos seus amigos sobre este item:
Tool Support for System Specification, Development and Verification - Advances in Computing Sciences Softcover reprint of the original 1st ed. 1999 edition
Rudolf Berghammer
Tool Support for System Specification, Development and Verification - Advances in Computing Sciences Softcover reprint of the original 1st ed. 1999 edition
Rudolf Berghammer
The aim of this workshop is to provide a forum for researchers interested in the use and development of tools which support the use of mathematical techniques for the specification, development and verification of systems.
241 pages, 53 black & white illustrations
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 25 de março de 1999 |
ISBN13 | 9783211832820 |
Editoras | Springer Verlag GmbH |
Páginas | 232 |
Dimensões | 155 × 235 × 13 mm · 353 g |
Editor | Berghammer, Rudolf |
Editor | Lakhnech, Yassine |
Mostrar tudo
Mais por Rudolf Berghammer
Ver tudo de Rudolf Berghammer ( por exemplo Paperback Book e Book )