> Detailanzeige

Butler, Michael [HerausgeberIn]; Schulte, Wolfram [Sonstige Person, Familie und Körperschaft] ; FM 17 2011 Limerick

FM 2011: formal methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20 - 24, 2011; proceedings

Literatur-
verwaltung

Direktlink

Zur
Merkliste

Lösche von
Merkliste

Per Email teilen

Auf Twitter teilen

Auf Facebook teilen

Per Whatsapp teilen

Schließen

Merkliste

Medientyp: Buch; Konferenzbericht
Titel: FM 2011: formal methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20 - 24, 2011; proceedings
Beteiligte: Butler, Michael [Hrsg.]; Schulte, Wolfram [Sonstige Person, Familie und Körperschaft]
Veranstaltung: FM
Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2011
Erschienen in: Lecture notes in computer science ; 6664
Umfang: XIV, 459 S.; graph. Darst
Sprache: Englisch
ISBN: 9783642214363; 3642214363
Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 80063841
RVK-Notation: SS 4800 : Lecture notes in computer science
Schlagwörter: Formale Methode
Entstehung:
Anmerkungen: Literaturangaben
Weitere Bestandsnachweise
0 : Lecture notes in computer science