Tool Support for System Specification, Development and Verification - Advances in Computing Sciences - Rudolf Berghammer - Livros - Springer Verlag GmbH - 9783211832820 - 25 de março de 1999
Caso a capa e o título não sejam correspondentes, considere o título como correto

Tool Support for System Specification, Development and Verification - Advances in Computing Sciences Softcover reprint of the original 1st ed. 1999 edition

Rudolf Berghammer

Preço
€ 61,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 26 de mai - 5 de jun
Adicione à sua lista de desejos do iMusic

Tool Support for System Specification, Development and Verification - Advances in Computing Sciences Softcover reprint of the original 1st ed. 1999 edition

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