Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 89 Treffer.


Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 363 Seiten

Erscheinungsdatum: 05.12.2024

ca. 70,61 € inkl. MwSt.
Preis kann sich ändern
kostenloser Versand

vorbestellbar

zum Artikel

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 332 Seiten

Erscheinungsdatum: 05.12.2024

ca. 70,61 € inkl. MwSt.
Preis kann sich ändern
kostenloser Versand

vorbestellbar

zum Artikel

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 428 Seiten

Erscheinungsdatum: 15.11.2024

ca. 79,17 € inkl. MwSt.
Preis kann sich ändern
kostenloser Versand

vorbestellbar

zum Artikel

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 207 Seiten

Erscheinungsdatum: 06.12.2024

ca. 62,05 € inkl. MwSt.
Preis kann sich ändern
kostenloser Versand

vorbestellbar

zum Artikel

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 401 Seiten

Erscheinungsdatum: 09.12.2024

ca. 70,61 € inkl. MwSt.
Preis kann sich ändern
kostenloser Versand

vorbestellbar

zum Artikel

The Combined Power of Research, Education, and Dissemination

Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday

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

Verlag: Springer International Publishing, 378 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 08.11.2024

70,61 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

vorbestellbar

zum Artikel

The Combined Power of Research, Education, and Dissemination

Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 378 Seiten

Erscheinungsdatum: 08.11.2024

70,61 € inkl. MwSt.
kostenloser Versand

vorbestellbar

zum Artikel

Correct System Design

Recent Insights and Advances

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

Verlag: Springer Berlin, 422 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 26.06.2003

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Correct System Design

Recent Insights and Advances

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 422 Seiten

Erscheinungsdatum: 22.09.1999

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Grundlagen der höheren Informatik

Induktives Vorgehen

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

Verlag: Springer Berlin, 179 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 17.10.2013

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel