Jetzt 20% Rabatt auf alle English Books. Jetzt in über 4 Millionen Büchern stöbern und profitieren!
Willkommen, schön sind Sie da!
Logo Ex Libris

Integrated Formal Methods

  • Kartonierter Einband
  • 572 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 i... Weiterlesen
20%
118.00 CHF 94.40
Sie sparen CHF 23.60
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
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.


Klappentext

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: 9783030349677
ISBN: 3030349675
Format: Kartonierter Einband
Herausgeber: Springer International Publishing
Anzahl Seiten: 572
Gewicht: 855g
Größe: H235mm x B155mm x T30mm
Jahr: 2019
Untertitel: Englisch
Auflage: 1st ed. 2019

Weitere Produkte aus der Reihe "Programming and Software Engineering"