Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 30 Treffer.


FME '97 Industrial Applications and Strengthened Foundations of Formal Methods

4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings

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

Verlag: Springer Berlin, 694 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 07.07.2005

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Theoretical Aspects of Computing - ICTAC 2007

4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings

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

Verlag: Springer Berlin, 486 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 12.09.2007

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Theoretical Aspects of Computing - ICTAC 2007

4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 486 Seiten

Erscheinungsdatum: 12.09.2007

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

FME '97 Industrial Applications and Strengthened Foundations of Formal Methods

4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 694 Seiten

Erscheinungsdatum: 03.09.1997

106,99 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

5th Refinement Workshop

Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992

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

Verlag: Springer London, 381 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 14.03.2013

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

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

5th Refinement Workshop

Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 381 Seiten

Erscheinungsdatum: 27.10.1992

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Communicating Sequential Processes. The First 25 Years

Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

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

Verlag: Springer Berlin, 326 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 04.05.2005

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Reflections on the Work of C.A.R. Hoare

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


Written in honor of Sir Tony Hoare's 75th Birthday, this book provides a discussion of the influence of Hoare's work on current research from an international selection of expert contributors. Includes a scientific biography, listing his most influential work.

Verlag: Springer London, 430 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 28.09.2010

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

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Reflections on the Work of C.A.R. Hoare

Produktform: Buch / Einband - flex.(Paperback)


Written in honor of Sir Tony Hoare's 75th Birthday, this book provides a discussion of the influence of Hoare's work on current research from an international selection of expert contributors. Includes a scientific biography, listing his most influential work.

Verlag: Springer London, Auflage 1, 430 Seiten

Erscheinungsdatum: 22.11.2014

160,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Reflections on the Work of C.A.R. Hoare

Produktform: Buch / Einband - fest (Hardcover)


Written in honor of Sir Tony Hoare's 75th Birthday, this book provides a discussion of the influence of Hoare's work on current research from an international selection of expert contributors. Includes a scientific biography, listing his most influential work.

Verlag: Springer London, Auflage 1, 430 Seiten

Erscheinungsdatum: 06.09.2010

160,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel