Lädt ...

FM 2014 : Formal methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

von C. B. Jones

Mitglieder	Rezensionen	Beliebtheit	Durchschnittliche Bewertung	Diskussionen
2	Keine	5,259,027	Keine	Keine
This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.… (mehr)

Alle Mitglieder

▾Mitglieder

Kürzlich hinzugefügt von

LibraryImporter

▾Tags

Keine Tags

▾Listen

Keine

▾Wird es dir gefallen?

Lädt ...

Melde dich bei LibraryThing an um herauszufinden, ob du dieses Buch mögen würdest.

▾Diskussionen (Über Links)

Keine aktuelle Diskussion zu diesem Buch.

▾Benutzer-Rezensionen

Keine Rezensionen

▾Publizierte Rezensionen

keine Rezensionen | Rezension hinzufügen

▾Weitere Autoren

» Andere Autoren hinzufügen

▾Reihen und Werk-Beziehungen

▾Auszeichnungen und Ehrungen

Verlauf anschauen

▾Wissenswertes

Du musst dich einloggen, um "Wissenswertes" zu bearbeiten.

Weitere Hilfe gibt es auf der "Wissenswertes"-Hilfe-Seite.

Gebräuchlichster Titel

Originaltitel

Alternative Titel

Ursprüngliches Erscheinungsdatum

Figuren/Charaktere

Wichtige Schauplätze

Wichtige Ereignisse

Zugehörige Filme

Epigraph (Motto/Zitat)

Widmung

Erste Worte

Zitate

Letzte Worte

Hinweis zur Identitätsklärung

Verlagslektoren

Werbezitate von

Originalsprache

Anerkannter DDC/MDS

Anerkannter LCC

▾Literaturhinweise

Literaturhinweise zu diesem Werk aus externen Quellen.

Wikipedia auf Englisch

Keine

▾Buchbeschreibungen

This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.

▾Bibliotheksbeschreibungen

Keine Bibliotheksbeschreibungen gefunden.

▾Beschreibung von LibraryThing-Mitgliedern

Buchbeschreibung

Zusammenfassung in Haiku-Form