![Synchronous Programming of Reactive Systems Synchronous Programming of Reactive Systems](https://bilder.buecher.de/produkte/32/32135/32135985m.jpg)
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 1993
7. Dezember 2010
Springer / Springer US / Springer, Berlin
978-1-4419-5133-5
Gebundenes Buch | 40,99 € |
![Synchronous Programming of Reactive Systems Synchronous Programming of Reactive Systems](https://bilder.buecher.de/produkte/20/20960/20960659m.jpg)
Gebundenes Buch
1992.
31. Dezember 1992
Springer / Springer US / Springer, Berlin
978-0-7923-9311-5
![Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems](https://bilder.buecher.de/produkte/21/21351/21351505m.jpg)
Broschiertes Buch
11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings
2005
23. März 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11408130,978-3-540-25333-4
![Computer Aided Verification Computer Aided Verification](https://bilder.buecher.de/produkte/09/09231/09231960m.jpg)
Broschiertes Buch
11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings
1999.
23. Juni 1999
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-66202-0
Ähnliche Artikel
![4th Refinement Workshop 4th Refinement Workshop](https://bilder.buecher.de/produkte/27/27058/27058278m.jpg)
Broschiertes Buch
Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9¿11 January 1991, Cambridge
1st Edition
12. Juni 1991
Springer / Springer London / Springer, Berlin
978-3-540-19657-0
![Programming and Mathematical Method Programming and Mathematical Method](https://bilder.buecher.de/produkte/36/36113/36113840m.jpg)
Broschiertes Buch
International Summer School
Softcover reprint of the original 1st ed. 1992
21. Dezember 2011
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-77574-1
![Formal Development of Reactive Systems Formal Development of Reactive Systems](https://bilder.buecher.de/produkte/09/09245/09245533m.jpg)
Broschiertes Buch
Case Study Production Cell
1995.
26. Januar 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-58867-2
![Embedded Systems Design Embedded Systems Design](https://bilder.buecher.de/produkte/14/14491/14491426m.jpg)
Broschiertes Buch
The ARTIST Roadmap for Research and Development
2005
30. März 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11400707,978-3-540-25107-1
![Applied Semantics Applied Semantics](https://bilder.buecher.de/produkte/11/11106/11106238m.jpg)
Broschiertes Buch
International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures
2002
21. August 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-44044-4
![Compositionality, Concurrency, and Partial Correctness Compositionality, Concurrency, and Partial Correctness](https://bilder.buecher.de/produkte/09/09250/09250141m.jpg)
Broschiertes Buch
Proof Theories for Networks of Processes, and Their Relationship
1989.
22. Februar 1989
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-50845-8
![Communicating Sequential Processes. The First 25 Years Communicating Sequential Processes. The First 25 Years](https://bilder.buecher.de/produkte/21/21781/21781359m.jpg)
Broschiertes Buch
Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers
2005
3. Mai 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-25813-1
![Verified Software. Theories, Tools, and Experiments Verified Software. Theories, Tools, and Experiments](https://bilder.buecher.de/produkte/54/54119/54119374m.jpg)
Broschiertes Buch
10th International Conference, VSTTE 2018, Oxford, UK, July 18¿19, 2018, Revised Selected Papers
1st ed. 2018
24. November 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-030-03591-4
![The Testability of Distributed Real-Time Systems The Testability of Distributed Real-Time Systems](https://bilder.buecher.de/produkte/21/21406/21406887m.jpg)
Gebundenes Buch
1993.
31. August 1993
Springer / Springer US / Springer, Berlin
978-0-7923-9386-3
Ähnlichkeitssuche: Fact®Finder von OMIKRON