Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

A Survey of Verification Techniques for Parallel Programs

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

Verlag: Springer Berlin, 120 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 01.07.2005

24,60 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

A Survey of Verification Techniques for Parallel Programs

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 120 Seiten

Erscheinungsdatum: 01.05.1985

24,60 € inkl. MwSt.
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

Temporal Logic in Specification

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

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 452 Seiten

Erscheinungsdatum: 11.10.1989

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Advances in Temporal Logic

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

Verlag: Springer Netherland, 453 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 11.11.2013

149,79 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Advances in Temporal Logic

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Netherland, Auflage 1, 453 Seiten

Erscheinungsdatum: 08.12.2010

160,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Advances in Temporal Logic

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer Netherland, Auflage 1, 453 Seiten

Erscheinungsdatum: 31.12.1999

160,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Runtime Verification

First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

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

Verlag: Springer Berlin, 492 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 18.11.2010

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Runtime Verification

First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 492 Seiten

Erscheinungsdatum: 19.10.2010

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel