2 Millionen Bücher heute bestellen und morgen im Press & Books oder k kiosk abholen.
Kontakt Filiale finden
Merkliste
Die Merkliste ist leer.
Der Warenkorb ist leer.
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.

FM 2015: Formal Methods

20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
BuchKartoniert, Paperback
Verkaufsrang522390inEnglish Non Fiction A-Z
CHF69.00

Beschreibung

This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.
Weitere Beschreibungen

Details

ISBN/GTIN978-3-319-19248-2
ProduktartBuch
EinbandKartoniert, Paperback
Erscheinungsdatum02.06.2015
Auflage2015
ReiheProgramming and Software Engineering
Reihen-Nr.9109
Seiten628 Seiten
SpracheEnglisch
Artikel-Nr.2807345
WarengruppeEnglish Non Fiction
DetailwarengruppeEnglish Non Fiction A-Z
Weitere Details

Reihe

Autor