Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 120 Treffer.


Formal Methods

22nd International Symposium, FM 2018, Oxford, UK, July 15-17, 2018

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

Verlag: Springer International Publishing, 692 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 11.07.2018

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

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

NASA Formal Methods

7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

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

Verlag: Springer International Publishing, 458 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 07.04.2015

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

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

NASA Formal Methods

Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings

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

Verlag: Springer Berlin, 534 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 06.04.2011

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

The Jarrah Forest

A complex mediterranean ecosystem

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

Verlag: Springer Netherland, 416 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 06.12.2012

82,38 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

SPIN Model Checking and Software Verification

7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings

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

Verlag: Springer Berlin, 346 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 31.12.2006

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: 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

Making Better Decisions Using Systems Thinking

How to stop firefighting, deal with root causes and deliver permanent solutions

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

Verlag: Springer International Publishing, 173 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 26.10.2017

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

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Formal Approaches to Software Testing and Runtime Verification

First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

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

Verlag: Springer Berlin, 255 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 23.11.2006

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Mathematical Foundations of Computer Science 1992

17th International Symposium, Prague, Czechoslovakia, August 24-28, 1992. Proceedings

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

Verlag: Springer Berlin, 525 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 10.11.2006

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel