Suchergebnisse für ""Jens Grabowski""




Ähnliche Artikel


Formal Approaches to Software Testing
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Wolfgang Grieskamp / Carsten Weise (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
2006
30. Mai 2006
Springer, Berlin

Formal Methods and Testing
41,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Robert M. Hierons / Jonathan P. Bowen / Mark Harman (Volume eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
An Outcome of the FORTEST Network. Revised Selected Papers
2008
8. April 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
12249992,978-3-540-78916-1

Formal Approaches to Software Testing
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Alexandre Petrenko / Andreas Ulrich (Hgg.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003
2004
28. Januar 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20894-5

Runtime Verification
41,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
O. Sokolsky (ed.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers
2007
12. Dezember 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12208111,978-3-540-77394-8

Fundamental Approaches to Software Engineering
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Maura Cerioli (ed.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings
2005
24. März 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-25420-1

Abstract State Machines 2003: Advances in Theory and Practice
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Börger
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings
2003
21. Februar 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-00624-4

Hardware and Software, Verification and Testing
41,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Eyal Bin / Avi Ziv / Shmuel Ur (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers
2007
9. Februar 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12019380,978-3-540-70888-9

Lectures on Formal Methods and Performance Analysis
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Ed Brinksma / Holger Hermanns / Joost-Pieter Katoen (eds.)
  (Aktuell noch keine Bewertungen)
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

Tools and Algorithms for the Construction and Analysis of Systems
83,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Hubert Garavel / John Hatcliff (eds.)
  (Aktuell noch keine Bewertungen)
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

FM 2005: Formal Methods
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
John Fitzgerald / Ian J. Hayes / Andrzej Tarlecki (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
2005
4. Juli 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-27882-5



Ähnlichkeitssuche: Fact®Finder von OMIKRON