Suchergebnisse für ""Jin Song Dong""




Ähnliche Artikel


Formal Methods at the Crossroads. From Panacea to Foundational Support
42,99 €
Versandfertig in 1-2 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

Model Checking Software
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Susanne Graf / Laurent Mounier (Eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
2004
18. März 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-21314-7

Integrated Formal Methods
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Eerke Boiten / John Derrick / Graeme Smith (Eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
2004
24. März 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-21377-2

Fundamental Approaches to Software Engineering
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Mauro Pezzè (ed.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
6th International Conference, FASE 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-00899-6

Formal Methods for Components and Objects
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Frank S. de Boer / Marcello M. Bonsangue / Susanne Graf / Willem-Paul de Roever (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures
2004
27. Oktober 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11315810,978-3-540-22942-1

SDL 2005: Model Driven
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Andreas Prinz / Rick Reed / Jeanne Reed (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings
2005
9. Juni 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11506843,978-3-540-26612-9

Model Checking Software
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Thomas Ball / Sriram K. Rajamani (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings
2003
28. April 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-40117-9

Formal Modeling and Analysis of Timed Systems
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Eugene Asarin / Patricia Bouyer
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings
2006
19. September 2006
Springer / Springer Berlin Heidelberg / Springer, Berlin
11867340,978-3-540-45026-9

Automated Technology for Verification and Analysis
83,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Farn Wang (ed.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings
2004
19. Oktober 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11339656,978-3-540-23610-8

Component-Based Software Engineering
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Ivica Crnkovic / Judith A. Stafford / Heinz W. Schmidt / Kurt Wallnau (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings
2004
12. Mai 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11006947,978-3-540-21998-9



Ähnlichkeitssuche: Fact®Finder von OMIKRON