FM 2011: Formal methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20 - 24, 2011 : proceedings
Gespeichert in:
Bibliographische Detailangaben
Körperschaft: FM Limerick (VerfasserIn)
Weitere Verfasser: Butler, Michael 1967- (HerausgeberIn), Schulte, Wolfram (HerausgeberIn)
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Berlin ; Heidelberg Springer [2011]
Schriftenreihe:Lecture notes in computer science 6664
Schlagworte:
Online-Zugang:Volltext
Beschreibung:1 Online-Ressource (XIV, 450 Seiten) Illustrationen, Diagramme
ISBN:9783642214370
DOI:10.1007/978-3-642-21437-0

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen