Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 17 Treffer.


The Temporal Logic of Reactive and Concurrent Systems

Specification

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

Verlag: Springer US, 427 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 06.12.2012

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

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Temporal Verification of Reactive Systems

Safety

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

Verlag: Springer US, 512 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 06.12.2012

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

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Temporal Verification of Reactive Systems

Safety

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer US, Auflage 1, 512 Seiten

Erscheinungsdatum: 22.08.2012

117,69 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

The Temporal Logic of Reactive and Concurrent Systems

Specification

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer US, Auflage 1, 427 Seiten

Erscheinungsdatum: 18.12.1991

117,69 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Temporal Verification of Reactive Systems

Safety

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer US, Auflage 1, 512 Seiten

Erscheinungsdatum: 04.08.1995

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

The Temporal Logic of Reactive and Concurrent Systems

Specification

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer US, Auflage 1, 427 Seiten

Erscheinungsdatum: 17.10.2012

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Perspectives of Systems Informatics

7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers

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

Verlag: Springer Berlin, 426 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 27.01.2010

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Temporal Logic in Specification

Altrincham, UK, April 8-10, 1987, Proceedings

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

Verlag: Springer Berlin, 452 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 05.07.2005

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Hybrid Systems: Computation and Control

6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings

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

Verlag: Springer Berlin, 564 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 01.07.2003

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Perspectives of Systems Informatics

7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 426 Seiten

Erscheinungsdatum: 08.02.2010

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel