Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

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

The Calculus of Computation

Decision Procedures with Applications to Verification

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


Verlag: Springer Berlin, 366 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 18.09.2007

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

The Calculus of Computation

Decision Procedures with Applications to Verification

Produktform: Buch / Einband - fest (Hardcover)


Verlag: Springer Berlin, Auflage 1, 366 Seiten

Erscheinungsdatum: 03.09.2007

74,89 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

The Calculus of Computation

Decision Procedures with Applications to Verification

Produktform: Buch / Einband - flex.(Paperback)


Verlag: Springer Berlin, Auflage 1, 366 Seiten

Erscheinungsdatum: 19.10.2010

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Time for Verification

Essays in Memory of Amir Pnueli

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


Verlag: Springer Berlin, 413 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 30.06.2010

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel