Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 15 Treffer.


Logics and Models of Concurrent Systems

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

Verlag: Springer Berlin, 500 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 08.03.2013

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Logics and Models of Concurrent Systems

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 500 Seiten

Erscheinungsdatum: 30.12.2011

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Verification of Sequential and Concurrent Programs

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

Verlag: Springer US, 444 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 09.03.2013

85,59 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Verification of Sequential and Concurrent Programs

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

Verlag: Springer US, Auflage 2, 364 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 09.03.2013

85,59 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Programmverifikation

Sequentielle, parallele und verteilte Programme

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

Verlag: Springer Berlin, 258 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 07.03.2013

22,99 € inkl. MwSt.
Fixed Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Programmverifikation

Sequentielle, parallele und verteilte Programme

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 258 Seiten

Erscheinungsdatum: 21.03.1994

29,95 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

New Trends in Constraints

Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers

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

Verlag: Springer Berlin, 340 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 15.05.2003

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

New Trends in Constraints

Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 340 Seiten

Erscheinungsdatum: 23.08.2000

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

The Logic Programming Paradigm

A 25-Year Perspective

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

Verlag: Springer Berlin, 456 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 06.12.2012

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

The Logic Programming Paradigm

A 25-Year Perspective

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 456 Seiten

Erscheinungsdatum: 19.09.2011

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel