![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/09/09227/09227146m.jpg)
Broschiertes Buch
Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings
1997.
20. März 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
10549404,978-3-540-62790-6
![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/09/09227/09227192m.jpg)
Broschiertes Buch
First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers
1995.
23. November 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-60630-7
![Lectures on Formal Methods and Performance Analysis Lectures on Formal Methods and Performance Analysis](https://bilder.buecher.de/produkte/10/10117/10117401m.jpg)
Broschiertes Buch
First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures
2001
29. August 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-42479-6
![Computer Aided Verification Computer Aided Verification](https://bilder.buecher.de/produkte/23/23383/23383919m.jpg)
Broschiertes Buch
14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
2002
19. Juli 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-43997-4
Ähnliche Artikel
![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/23/23391/23391207m.jpg)
Broschiertes Buch
9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
2003
14. März 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-00898-9
![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/14/14780/14780512m.jpg)
Broschiertes Buch
10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings
2004
18. März 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-21299-7
![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/09/09227/09227851m.jpg)
Broschiertes Buch
6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings
2000.
15. März 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
10719978,978-3-540-67282-1
![Tools and Algorithms for the Construction of Analysis of Systems Tools and Algorithms for the Construction of Analysis of Systems](https://bilder.buecher.de/produkte/09/09235/09235198m.jpg)
Broschiertes Buch
5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings
1999.
10. März 1999
Springer / Springer Berlin Heidelberg / Springer, Berlin
10703113,978-3-540-65703-3
![Radical Innovations of Software and Systems Engineering in the Future Radical Innovations of Software and Systems Engineering in the Future](https://bilder.buecher.de/produkte/14/14777/14777802m.jpg)
Broschiertes Buch
9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers
2004
18. März 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-21179-2
![Coloured Petri Nets Coloured Petri Nets](https://bilder.buecher.de/produkte/05/05626/05626604m.jpg)
Gebundenes Buch
Basic Concepts, Analysis Methods and Practical Use. Volume 2
1995
28. November 1994
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-58276-2
![Coloured Petri Nets Coloured Petri Nets](https://bilder.buecher.de/produkte/32/32058/32058280m.jpg)
Broschiertes Buch
Basic Concepts, Analysis Methods and Practical Use. Volume 2
Softcover reprint of hardcover 1st ed. 1995
1. Dezember 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-08200-9
![Coloured Petri Nets Coloured Petri Nets](https://bilder.buecher.de/produkte/32/32079/32079320m.jpg)
Broschiertes Buch
Basic Concepts, Analysis Methods and Practical Use. Volume 1
2. Aufl.
19. Oktober 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-08243-6
![Coloured Petri Nets Coloured Petri Nets](https://bilder.buecher.de/produkte/25/25912/25912283m.jpg)
Gebundenes Buch
Modelling and Validation of Concurrent Systems
2009
2. Juli 2009
Springer / Springer Berlin Heidelberg / Springer, Berlin
10980361,978-3-642-00283-0
Ähnlichkeitssuche: Fact®Finder von OMIKRON