Zur Startseite wechseln
CHF 0.00
Kategorien
Englisch und andere Fremdsprachen
Englisch
Produktbild
Reiner (Hrsg.) Hähnle

Fundamental Approaches to Software Engineering

22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings

Buch

This book is Open Access under a CC BY licence.

CHF 72.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails

Weitere Autoren: Aalst, Wil M. P. van der (Hrsg.)
  • ISBN: 978-3-030-16721-9
  • EAN: 9783030167219
  • Produktnummer: 30111393
  • Verlag: Springer-Verlag GmbH
  • Sprache: Englisch
  • Erscheinungsjahr: 2019
  • Seitenangabe: 446 S.
  • Masse: H23.5 cm x B15.5 cm x D2.4 cm 692 g
  • Abbildungen: Book; Bibliographie
  • Reihenbandnummer: 11424
  • Gewicht: 692

20 weitere Werke von Reiner (Hrsg.) Hähnle:

Produktbild
Verification of Object-Oriented Software. The KeY Approach
22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Buch
CHF 158.00
Produktbild
Theorem Proving with Analytic Tableaux and Related Methods
22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Buch
CHF 108.00
Produktbild
Tests and Proofs
22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Buch
CHF 93.00
Produktbild
Verification of Object-Oriented Software. The KeY Approach
22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Ebook (PDF Format)
CHF 136.00
Produktbild
Leveraging Applications of Formal Methods, Verification, and Validation
22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Ebook (PDF Format)
CHF 73.50
Produktbild
Formal Methods for Components and Objects
22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Buch
CHF 66.00
Produktbild
Formal Methods for Components and Objects
22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Ebook (PDF Format)
CHF 54.50
Produktbild
Deductive Software Verification - The KeY Book
22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Ebook (PDF Format)
CHF 118.00
Produktbild
Deductive Software Verification - The KeY Book
22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Buch
CHF 136.00
Produktbild
Deductive Software Verification: Future Perspectives
22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Ebook (PDF Format)
CHF 78.00
Produktbild
Handbook of Tableau Methods
22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Buch
CHF 370.00
Produktbild
Automated Reasoning
22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Buch
CHF 144.00
Produktbild
Leveraging Applications of Formal Methods, Verification, and Validation
22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Buch
CHF 93.00
Produktbild
Machine Learning for Dynamic Software Analysis: Potentials and Limits
22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Buch
CHF 84.00
Produktbild
Tests and Proofs
22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Ebook (PDF Format)
CHF 77.00
Produktbild
Machine Learning for Dynamic Software Analysis: Potentials and Limits
22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Ebook (PDF Format)
CHF 68.50
Produktbild
Automated Reasoning
22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Ebook (PDF Format)
CHF 140.00
Produktbild
Handbook of Tableau Methods
22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Buch
CHF 370.00
Produktbild
Deductive Software Verification: Future Perspectives
22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Buch
CHF 95.00
Produktbild
Handbook of Tableau Methods
22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Ebook (PDF Format)
CHF 330.50

Bewertungen

0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...