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.

Formal Methods and Software Engineering

16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
BuchKartoniert, Paperback
EUR54,00

Produktbeschreibung

This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.
Weiterlesen

Details

ISBN/GTIN978-3-319-11736-2
ProduktartBuch
EinbandKartoniert, Paperback
VerlagSpringer
ErscheinungsortCham
ErscheinungslandSchweiz
Erscheinungsdatum23.09.2014
Auflage2014
ReiheProgramming and Software Engineering
Seiten460 Seiten
SpracheEnglisch
Illustrationen125 s/w Abbildungen
Artikel-Nr.1687151
KatalogVLB
Datenquelle-Nr.5e32cc6fd60041819b3e1a3cbbee56fc
Weitere Details

Reihe

Bewertungen

Autor/in

Schlagworte