Zur Startseite wechseln
CHF 0.00
Kategorien
Englisch und andere Fremdsprachen
Englisch
Produktbild
Klaus (Hrsg.) Havelund

Formal Methods

22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Buch

This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations. Mehr

CHF 130.00

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

Versandfertig innerhalb 1-3 Werktagen

Produktdetails

Weitere Autoren: Peleska, Jan (Hrsg.) / Roscoe, Bill (Hrsg.) / Vink, Erik de (Hrsg.)
  • ISBN: 978-3-319-95581-0
  • EAN: 9783319955810
  • Produktnummer: 27680119
  • Verlag: Springer-Verlag GmbH
  • Sprache: Englisch
  • Erscheinungsjahr: 2018
  • Seitenangabe: 692 S.
  • Masse: H23.5 cm x B15.5 cm x D3.7 cm 1'054 g
  • Auflage: 2018
  • Abbildungen: Book; 131 schwarz-weiße Abbildungen, Bibliographie
  • Reihenbandnummer: 10951
  • Gewicht: 1054

15 weitere Werke von Klaus (Hrsg.) Havelund:

Produktbild
NASA Formal Methods
22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Buch
CHF 92.00
Produktbild
NASA Formal Methods
22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Ebook (PDF Format)
CHF 75.50
Produktbild
Formal Methods
22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Ebook (PDF Format)
CHF 106.50
Produktbild
SPIN Model Checking and Software Verification
22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Buch
CHF 115.00
Produktbild
NASA Formal Methods
22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Buch
CHF 145.00
Produktbild
Formal Approaches to Software Testing and Runtime Verification
22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Buch
CHF 100.00
Produktbild
Model Checking Software
22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Buch
CHF 108.00
Produktbild
Tools and Algorithms for the Construction and Analysis of Systems
22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Ebook (PDF Format)
CHF 94.50
Produktbild
NASA Formal Methods
22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Buch
CHF 130.00
Produktbild
Tools and Algorithms for the Construction and Analysis of Systems
22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Buch
CHF 115.00
Produktbild
Model Checking Software
22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Ebook (PDF Format)
CHF 100.00
Produktbild
Runtime Verification
22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Ebook (PDF Format)
CHF 106.50
Produktbild
Formal Approaches to Software Testing and Runtime Verification
22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Ebook (PDF Format)
CHF 93.50
Produktbild
NASA Formal Methods
22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Ebook (PDF Format)
CHF 120.00
Produktbild
SPIN Model Checking and Software Verification
22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Ebook (PDF Format)
CHF 106.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 ...