Suchergebnisse für ""Eerke A. Boiten""




Ähnliche Artikel


Mathematics of Program Construction
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Roland Backhouse / Jose Nuno Oliveira (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings
2000.
21. Juni 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-67727-7

Advanced Functional Programming
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
S. Doaitse Swierstra / Pedro R. Henriques / Jose N. Oliveira (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures
1999.
7. Juli 1999
Springer / Springer Berlin Heidelberg / Springer, Berlin
10704973,978-3-540-66241-9

Optimal Interprocedural Program Optimization
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Jens Knoop
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
A New Framework and Its Application
1998.
23. September 1998
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-65123-9

The Munich Project CIP
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
F.L. Bauer (Assist. ed.) / H. Ehler / A. Horsch / B. Möller / H. Partsch / O. Paukner / P. Pepper
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Volume II: The Programme Transformation System CIP-S
1988.
13. Januar 1988
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-18779-0

Foundation of Software Science and Computation Structures
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Jerzy Tiuryn (ed.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings
2000.
15. März 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-67257-9

Theorem Proving in Higher Order Logics
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
30. Juli 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
12446179,978-3-540-71065-3

Mathematics of Program Construction
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Dexter Kozen / Carron Shankland (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings
24. Juni 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11019305,978-3-540-22380-1

Static Analysis
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Roberto Giacobazzi (ed.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings
17. August 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11310426,978-3-540-22791-5

Mathematics of Program Construction
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Jeuring
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings
1998.
27. Mai 1998
Springer / Springer Berlin Heidelberg / Springer, Berlin
10637451,978-3-540-64591-7



Ähnlichkeitssuche: Fact®Finder von OMIKRON