Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Interactive Theorem Proving

First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings

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

Verlag: Springer Berlin, 495 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 13.07.2010

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Interactive Theorem Proving

First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 495 Seiten

Erscheinungsdatum: 30.06.2010

106,99 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Computer-Aided Reasoning

ACL2 Case Studies

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

Verlag: Springer US, 337 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 17.04.2013

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

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Computer-Aided Reasoning

An Approach

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

Verlag: Springer US, 270 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 06.12.2012

259,00 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Computer-Aided Reasoning

ACL2 Case Studies

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer US, Auflage 1, 337 Seiten

Erscheinungsdatum: 08.12.2010

213,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Computer-Aided Reasoning

ACL2 Case Studies

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer US, Auflage 1, 337 Seiten

Erscheinungsdatum: 30.06.2000

213,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel