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
Preço
NOK 729
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 26 de mai - 5 de jun
O que dizem nossos clientes:
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
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
![Cover for Rudolf Berghammer · Ordnungen Und Verbande: Grundlagen, Vorgehensweisen Und Anwendungen (Paperback Book) [2013 edition] (2014)](https://imusic.b-cdn.net/images/item/original/100/9783658027100.jpg?rudolf-berghammer-2014-ordnungen-und-verbande-grundlagen-vorgehensweisen-und-anwendungen-paperback-book&class=scaled&v=1647925507)
![Cover for Rudolf Berghammer · Ordnungen, Verbande Und Relationen Mit Anwendungen (Paperback Book) [2nd 2., Durchges. Und Korr. Aufl. 2012 edition] (2012)](https://imusic.b-cdn.net/images/item/original/181/9783658006181.jpg?rudolf-berghammer-2012-ordnungen-verbande-und-relationen-mit-anwendungen-paperback-book&class=scaled&v=1647925230)
![Cover for Rudolf Berghammer · Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009, Proceed (Paperback Book) [2009 edition] (2009)](https://imusic.b-cdn.net/images/item/original/384/9783642046384.jpg?rudolf-berghammer-2009-relations-and-kleene-algebra-in-computer-science-11th-international-conference-on-relational-methods-in-computer-science-relmics-2009-and-6th-international-conference-on-applications-of-kleene-algebra-aka-2009-doha-qatar-november-1-5&class=scaled&v=1508077213)
![Cover for Rudolf Berghammer · Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Pape (Paperback Book) [2004 edition] (2004)](https://imusic.b-cdn.net/images/item/original/456/9783540221456.jpg?rudolf-berghammer-2004-relational-and-kleene-algebraic-methods-in-computer-science-7th-international-seminar-on-relational-methods-in-computer-science-and-2nd-international-workshop-on-applications-of-kleene-algebra-bad-malente-germany-may-12-17-2003-revis&class=scaled&v=1556818932)
Ver tudo de Rudolf Berghammer ( por exemplo Paperback Book e Book )