044 209 91 25 079 869 90 44
Merkliste
Die Merkliste ist leer.
Der Warenkorb ist leer.
Kostenloser Versand möglich
Kostenloser Versand möglich
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Integrated Formal Methods

14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
BuchKartoniert, Paperback
Verkaufsrang52106inInformatik EDV
CHF72.90

Beschreibung

This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018.
The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and analysis techniques, to supporting tools and their integration into software engineering practice.
Weitere Beschreibungen

Details

ISBN/GTIN978-3-319-98937-2
ProduktartBuch
EinbandKartoniert, Paperback
ErscheinungslandDeutschland
Erscheinungsdatum09.08.2018
Auflage1st ed. 2018
ReiheProgramming and Software Engineering
Reihen-Nr.11023
Seiten436 Seiten
SpracheEnglisch
MasseBreite 155 mm, Höhe 235 mm, Dicke 24 mm
Gewicht657 g
Artikel-Nr.30961853
Verlagsartikel-Nr.978-3-319-98937-2
KatalogBuchzentrum
Datenquelle-Nr.28031627
WarengruppeInformatik EDV
Weitere Details

Reihe

Über den/die AutorIn

Weitere Produkte von Winter, Kirsten

Hrsg.