Willkommen, schön sind Sie da!
Logo Ex Libris

Integrated Formal Methods

  • E-Book (pdf)
  • 554 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held ... Weiterlesen
CHF 97.90
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.

The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "journal-first" papers.

Produktinformationen

Titel: Integrated Formal Methods
Untertitel: 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings
Editor:
EAN: 9783030349684
Format: E-Book (pdf)
Hersteller: Springer International Publishing
Genre: IT & Internet
Veröffentlichung: 22.11.2019
Digitaler Kopierschutz: Wasserzeichen
Dateigrösse: 29.75 MB
Anzahl Seiten: 554

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"