Suchergebnisse für ""Jean-Pierre Banatre""




Ähnliche Artikel


TAPSOFT '95: Theory and Practice of Software Development
83,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Mosses
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings
1995.
3. Mai 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-59293-8

ESEC '91
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Axel van Lamsweerde / Alfonso Fuggetta (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991. Proceedings
1991.
9. Oktober 1991
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-54742-6

VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Soren Prehn / Hans Toetenel (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Volume 2: Tutorials
1991.
14. Oktober 1991
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-54868-3

VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings
83,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Soren Prehn / Hans Toetenel (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Volume 1: Conference Contributions
1991.
14. Oktober 1991
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-54834-8

The Programming and Proof System ATES
83,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Advanced Techniques Integration into Efficient Scientific Software
1991.
24. Juli 1991
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-54188-2

Formal Methods and Software Engineering
83,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Chris George / Huaikou Miao (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings
2002
9. Oktober 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-00029-7

Fundamental Approaches to Software Engineering
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Tom Maibaum (ed.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Third International Conference, FASE 2000 Held as Part of the Joint European Conference 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
10719952,978-3-540-67261-6

Software Development Environments and Case Technology
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Albert Endres / Herbert Weber (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
European Symposium, Königswinter, June 17-19, 1991. Proceedings
1991.
10. Juni 1991
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-54194-3

Formal Methods in Programming and Their Applications
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Bjorner
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings
1993.
5. Oktober 1993
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-57316-6

Formal Program Development
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Möller
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
IFIP TC2/WG 2.1 State-of-the-Art Report
1993.
29. November 1993
Springer, Berlin



Ähnlichkeitssuche: Fact®Finder von OMIKRON