2. Adventsüberraschung: 10% Rabatt auf alle Spiele! Jetzt mehr erfahren.
Willkommen, schön sind Sie da!
Logo Ex Libris

FM 2011: Formal Methods

  • Kartonierter Einband
  • 450 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Leseprobe
This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, I... Weiterlesen
CHF 115.00
Auslieferung erfolgt in der Regel innert 2 bis 4 Werktagen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011.
The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking.

Fast track conference proceedings

State of the art research

Up-to-date results

Produktinformationen

Titel: FM 2011: Formal Methods
Untertitel: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings
Editor:
EAN: 9783642214363
ISBN: 3642214363
Format: Kartonierter Einband
Herausgeber: Springer-Verlag GmbH
Genre: Informatik
Anzahl Seiten: 450
Gewicht: 734g
Größe: H239mm x B159mm x T28mm
Jahr: 2011
Untertitel: Englisch
Auflage: 2011

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"