![An Introduction to the PL/CV2 Programming Logic An Introduction to the PL/CV2 Programming Logic](https://bilder.buecher.de/produkte/09/09236/09236715m.jpg)
Broschiertes Buch
1982
1. April 1982
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-11492-5
![For Richer For Poorer For Richer For Poorer](https://bilder.buecher.de/produkte/66/66354/66354253m.jpg)
11,99 €
Versandfertig in über 4 Wochen
![America's New Order America's New Order](https://bilder.buecher.de/produkte/52/52422/52422358m.jpg)
Ähnliche Artikel
![Verifying Concurrent Processes Using Temporal Logic Verifying Concurrent Processes Using Temporal Logic](https://bilder.buecher.de/produkte/09/09231/09231693m.jpg)
Broschiertes Buch
1982
1. März 1982
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-11205-1
![Formal Methods at the Crossroads. From Panacea to Foundational Support Formal Methods at the Crossroads. From Panacea to Foundational Support](https://bilder.buecher.de/produkte/12/12490/12490466m.jpg)
Broschiertes Buch
10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers
2003
18. November 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20527-2
![Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology](https://bilder.buecher.de/produkte/09/09231/09231614m.jpg)
Broschiertes Buch
7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings
1998.
15. Dezember 1998
Springer / Springer Berlin Heidelberg / Springer, Berlin
10693122,978-3-540-65462-9
![Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology](https://bilder.buecher.de/produkte/09/09249/09249592m.jpg)
Broschiertes Buch
5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings
1996.
19. Juni 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-61463-0
![Fundamental Approaches to Software Engineering Fundamental Approaches to Software Engineering](https://bilder.buecher.de/produkte/28/28599/28599068m.jpg)
Broschiertes Buch
13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings
2010
16. März 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
80011235,978-3-642-12028-2
![Fundamental Approaches to Software Engineering Fundamental Approaches to Software Engineering](https://bilder.buecher.de/produkte/44/44538/44538949n.jpg)
Broschiertes Buch
19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
1st ed. 2016
22. März 2016
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-49664-0
![Reliable Software Technologies - Ada Europe 96 Reliable Software Technologies - Ada Europe 96](https://bilder.buecher.de/produkte/09/09245/09245590m.jpg)
Broschiertes Buch
1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June (10-14), 1996. Proceedings
1996.
29. Mai 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-61317-6
![Computer Aided Verification Computer Aided Verification](https://bilder.buecher.de/produkte/09/09248/09248655m.jpg)
Broschiertes Buch
7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings
1995.
21. Juni 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-60045-9
![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
![VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings](https://bilder.buecher.de/produkte/09/09244/09244167m.jpg)
Broschiertes Buch
Volume 2: Tutorials
1991.
14. Oktober 1991
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-54868-3
Ähnlichkeitssuche: Fact®Finder von OMIKRON