Suchergebnisse für ""S. D. Johnson""




Ähnliche Artikel


Verifying Concurrent Processes Using Temporal Logic
40,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
B. T. Hailpern
  (Aktuell noch keine Bewertungen)
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
40,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Bernhard K. Aichernig / Tom Maibaum (eds.)
  (Aktuell noch keine Bewertungen)
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
39,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Haeberer
  (Aktuell noch keine Bewertungen)
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
79,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Wirsing
  (Aktuell noch keine Bewertungen)
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
39,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
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
37,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
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
40,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Strohmeier
  (Aktuell noch keine Bewertungen)
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
40,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Wolper
  (Aktuell noch keine Bewertungen)
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
40,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Job Zwiers
  (Aktuell noch keine Bewertungen)
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
40,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Soren Prehn / Hans Toetenel (eds.)
  (Aktuell noch keine Bewertungen)
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