Fachbuch: Validierung und Verifikation


Automotive Software Engineering
84,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort lieferbar
Versandkostenfrei*
Thomas Zurawka
Jörg Schäuffele
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
Grundlagen, Prozesse, Methoden und Werkzeuge effizient einsetzen
6. Aufl.
5. September 2016
Springer Fachmedien Wiesbaden / Springer Vieweg / Springer, Berlin
978-3-658-11814-3

Enterprise Integration Patterns
45,99 €
Sofort lieferbar
Versandkostenfrei*
Gregor Hohpe
Bobby Woolf
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
Designing, Building, and Deploying Messaging Solutions
Januar 2004
Addison-Wesley Longman, Amsterdam

Temporal Logic in Specification
71,99 €
Versandfertig in 2-4 Wochen
Versandkostenfrei*
Banieqbal
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Altrincham, UK, April 8-10, 1987, Proceedings
1989.
11. Oktober 1989
Springer, Berlin

ESOP '88
63,99 €
Versandfertig in 2-4 Wochen
Versandkostenfrei*
Harald Ganzinger (ed.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings
1988.
9. März 1988
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-19027-1

Hybrid Systems: Computation and Control
69,99 €
Versandfertig in 2-4 Wochen
Versandkostenfrei*
Henzinger
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings
1998.
25. März 1998
Springer / Springer Berlin Heidelberg / Springer, Berlin
10632061,978-3-540-64358-6

Mathematics of Program Construction
69,99 €
Versandfertig in 2-4 Wochen
Versandkostenfrei*
Snepscheut
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
375th Anniversary of the Groningen University. International Conference, Groningen, The Netherlands, June 26-30, 1989 Proceedings
1989
7. Juni 1989
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-51305-6

CONCUR'97: Concurrency Theory
69,99 €
Versandfertig in 2-4 Wochen
Versandkostenfrei*
Mazurkiewicz
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings
1997.
11. Juni 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
10550358,978-3-540-63141-5

Agent-Oriented Software Engineering
63,99 €
Versandfertig in 2-4 Wochen
Versandkostenfrei*
Paolo Ciancarini / Michael Wooldridge (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers
2001
30. Januar 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-41594-7

Program Development in Computational Logic
71,99 €
Versandfertig in 2-4 Wochen
Versandkostenfrei*
Maurice Bruynooghe / Kung-Kiu Lau (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
A Decade of Research Advances in Logic-Based Program Development
2004
17. Juni 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11012061,978-3-540-22152-4

CONCUR 2004 -- Concurrency Theory
79,99 €
Versandfertig in 2-4 Wochen
Versandkostenfrei*
Philippa Gardner / Nobuko Yoshida (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings
2004
19. August 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11315827,978-3-540-22940-7

Engineering Societies in the Agents World VI
52,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Oguz Dikenelli / Marie-Pierre Gleizes / Alessandro Ricci (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
6th International Workshop, ESAW 2005, Kusadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers
2006
30. Mai 2006
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-34451-3

Programming Languages and Systems
69,99 €
Versandfertig in 2-4 Wochen
Versandkostenfrei*
Kwangkeun Yi (ed.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings
2005
21. Oktober 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11575467,978-3-540-29735-2

Advances in Evolutionary Computing for System Design
54,99 €
Sofort lieferbar
Versandkostenfrei*
Lakhmi C. Jain / Vasile Palade / Dipti Srinivasan (eds.)
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
10. Juli 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
11551430,978-3-540-72376-9

Engineering Societies in the Agents World VII
69,99 €
Versandfertig in 2-4 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers
2007
1. Oktober 2007
Springer, Berlin
12171279

Logic for Programming, Artificial Intelligence, and Reasoning
71,99 €
Versandfertig in 2-4 Wochen
Versandkostenfrei*
Moshe Vardi / Andrei Voronkov (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings
2003
12. September 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20101-4