Freunden von diesem Artikel berichten:
Tool Support for System Specification, Development and Verification - Advances in Computing Sciences Rudolf Berghammer Softcover reprint of the original 1st ed. 1999 edition
Preis
€ 51,49
Bestellware
Lieferdatum: ca. 11. - 19. Mai
Zu deiner iMusic Wunschliste hinzufügen
oder
Tool Support for System Specification, Development and Verification - Advances in Computing Sciences
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
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 25. März 1999 |
| ISBN13 | 9783211832820 |
| Verlag | Springer Verlag GmbH |
| Seitenanzahl | 232 |
| Maße | 155 × 235 × 13 mm · 353 g |
| Sprache | Deutsch |
| Redakteur | Berghammer, Rudolf |
| Redakteur | Lakhnech, Yassine |
Weitere Titel von Rudolf Berghammer
Alle anzeigen![Cover for Rudolf Berghammer · Mathematik fur die Informatik: Grundlegende Begriffe, Strukturen und Anwendungen (Taschenbuch) [5. Aufl. 2024 edition] (2024)](https://imusic.b-cdn.net/images/item/original/487/9783658441487.jpg?rudolf-berghammer-2024-mathematik-fur-die-informatik-grundlegende-begriffe-strukturen-und-anwendungen-taschenbuch&class=scaled&v=1716572805)
![Cover for Rudolf Berghammer · Mathematik fur die Informatik: Grundlegende Begriffe, Strukturen und ihre Anwendung (Taschenbuch) [4., erw. u. verb. Aufl. 2021 edition] (2021)](https://imusic.b-cdn.net/images/item/original/034/9783658333034.jpg?rudolf-berghammer-2021-mathematik-fur-die-informatik-grundlegende-begriffe-strukturen-und-ihre-anwendung-taschenbuch&class=scaled&v=1614693495)
![Cover for Rudolf Berghammer · Ordnungen und Verbande: Grundlagen, Vorgehensweisen und Anwendungen (Taschenbuch) [2013 edition] (2014)](https://imusic.b-cdn.net/images/item/original/100/9783658027100.jpg?rudolf-berghammer-2014-ordnungen-und-verbande-grundlagen-vorgehensweisen-und-anwendungen-taschenbuch&class=scaled&v=1647925507)
![Cover for Rudolf Berghammer · Ordnungen, Verbande und Relationen mit Anwendungen (Taschenbuch) [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-taschenbuch&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 (Taschenbuch) [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 (Taschenbuch) [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)
Alle Titel von Rudolf Berghammer ansehen ( u. a. Taschenbuch )