Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Computer Aided Verification

Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings

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

Verlag: Springer Berlin, 426 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

Computer Aided Verification

Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 426 Seiten

Erscheinungsdatum: 30.03.1993

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Formal Description Techniques VIII

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

Verlag: Springer US, 452 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 09.01.2016

213,99 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Formal Description Techniques VIII

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer US, Auflage 1, 452 Seiten

Erscheinungsdatum: 31.01.1996

213,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Testing of Communicating Systems

Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 2000), August 29–September 1, 2000, Ottawa, Canada

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

Verlag: Springer US, 326 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 29.06.2013

213,99 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Testing of Communicating Systems

Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 2000), August 29–September 1, 2000, Ottawa, Canada

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer US, Auflage 1, 326 Seiten

Erscheinungsdatum: 31.08.2000

213,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Testing of Communicating Systems

Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 2000), August 29–September 1, 2000, Ottawa, Canada

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer US, Auflage 1, 326 Seiten

Erscheinungsdatum: 24.07.2012

213,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel