Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 12 Treffer.


Fundamental Approaches to Software Engineering

5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 342 Seiten

Erscheinungsdatum: 20.03.2002

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Grundlagen des maschinellen Beweisens

Eine Einführung für Informatiker und Mathematiker

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Vieweg & Teubner, Auflage 2, 174 Seiten

Erscheinungsdatum: 01.10.1991

44,99 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel