Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 12 Treffer.


1. Fachtagung über Programmiersprachen

München, 9.–11. März 1971

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer Berlin, 286 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 12.03.2013

38,66 € inkl. MwSt.
Fixed Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

1. Fachtagung über Programmiersprachen

München, 9.–11. März 1971

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 286 Seiten

Erscheinungsdatum: 30.10.1972

54,99 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Formal Methods for Industrial Applications

Specifying and Programming the Steam Boiler Control

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer Berlin, 523 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 19.11.2005

96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Formal Methods for Industrial Applications

Specifying and Programming the Steam Boiler Control

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 523 Seiten

Erscheinungsdatum: 30.10.1996

106,99 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Compositionality: The Significant Difference

International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer Berlin, 647 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 20.05.2003

96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Formal Techniques in Real-Time and Fault-Tolerant Systems

Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer Berlin, 787 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 03.07.2005

96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Formal Techniques in Real-Time and Fault-Tolerant Systems

Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 787 Seiten

Erscheinungsdatum: 07.09.1994

106,99 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Compositionality: The Significant Difference

International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 647 Seiten

Erscheinungsdatum: 18.12.1998

106,99 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

VDM '90. VDM and Z - Formal Methods in Software Development

Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer Berlin, 588 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 30.06.2005

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

VDM '90. VDM and Z - Formal Methods in Software Development

Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 588 Seiten

Erscheinungsdatum: 04.04.1990

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel