Suchergebnisse für ""Eerke Boiten""




Ähnliche Artikel


Integrated Formal Methods
39,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Judi M.T. Romijn / Graeme P. Smith / Jaco C. van de Pol (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
2005
24. November 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11589976,978-3-540-30492-0

Algebraic Methodology and Software Technology
40,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Charles Rattray / Savitri Maharaj (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings
2004
24. Juni 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11019428,978-3-540-22381-8

Integrated Formal Methods
79,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Jim Davies (Volume ed.) / Jeremy Gibbons
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
2007
22. Juni 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12080328,978-3-540-73209-9

Formal Methods and Software Engineering
78,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Zhiming Liu / Jifeng He
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
2006
24. Oktober 2006
Springer / Springer Berlin Heidelberg / Springer, Berlin
11901433,978-3-540-47460-9

Fundamental Approaches to Software Engineering
39,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings
2008
18. März 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
12244720,978-3-540-78742-6

FME 2001: Formal Methods for Increasing Software Productivity
80,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Jose N. Oliveira / Pamela Zave (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings
2001
28. Februar 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-41791-0

Integrated Formal Methods
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Michael Leuschel / Heike Wehrheim (Volume editor)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings
2009
2. Februar 2009
Springer / Springer Berlin Heidelberg / Springer, Berlin
12618477,978-3-642-00254-0

Recent Trends in Algebraic Development Techniques
39,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
José Luiz Fiadeiro / Pierre-Yves Schobbens (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
2007
24. April 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12049424,978-3-540-71997-7

Communicating Sequential Processes. The First 25 Years
39,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Ali E. Abdallah / Cliff B. Jones / Jeff W. Sanders (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers
2005
3. Mai 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-25813-1

Formal Methods for Components and Objects
40,99 €
Versandfertig in über 4 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



Ähnlichkeitssuche: Fact®Finder von OMIKRON