Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Computation Engineering:

Formal Specification and Verification Methods

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer US, Auflage 1, 400 Seiten

Erscheinungsdatum: 31.01.2010

74,85 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Computation Engineering

Applied Automata Theory and Logic

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


Verlag: Springer US, 472 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 10.09.2006

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

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Computation Engineering

Applied Automata Theory and Logic

Produktform: Buch / Einband - flex.(Paperback)


Verlag: Springer US, Auflage 1, 472 Seiten

Erscheinungsdatum: 29.10.2010

98,39 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Computation Engineering

Applied Automata Theory and Logic

Produktform: Buch / Einband - fest (Hardcover)


Verlag: Springer US, Auflage 1, 472 Seiten

Erscheinungsdatum: 02.06.2006

98,39 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Formal Methods in Computer-Aided Design

Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings

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

Verlag: Springer Berlin, 538 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 31.07.2003

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Computer Aided Verification

23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings

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

Verlag: Springer Berlin, 763 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 05.07.2011

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Computer Aided Verification

23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 763 Seiten

Erscheinungsdatum: 05.07.2011

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Formal Methods in Computer-Aided Design

Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 538 Seiten

Erscheinungsdatum: 21.10.1998

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel