Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 87 Treffer.


Leveraging Applications of Formal Methods, Verification and Validation. Verification

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

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

Verlag: Springer International Publishing, 496 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 29.10.2018

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

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

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

Verlag: Springer Berlin, 644 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 26.09.2014

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Tools and Algorithms for the Construction and Analysis of Systems

23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

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

Verlag: Springer Berlin, 609 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 30.03.2017

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

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

Verlag: Springer International Publishing, 522 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 30.10.2018

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

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Correct Hardware Design and Verification Methods

11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings

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

Verlag: Springer Berlin, 488 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 30.06.2003

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Leveraging Applications of Formal Methods, Verification, and Validation

4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

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

Verlag: Springer Berlin, 708 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 02.11.2010

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Tools and Algorithms for the Construction and Analysis of Systems

23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

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

Verlag: Springer Berlin, 411 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 30.03.2017

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

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

Verlag: Springer International Publishing, 530 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 29.10.2018

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

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Tools and Algorithms for the Construction and Analysis of Systems

Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.

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

Verlag: Springer Berlin, 443 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 30.06.2005

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Tools and Algorithms for the Construction and Analysis of Systems

7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings

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

Verlag: Springer Berlin, 594 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 29.06.2003

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel