Willkommen, schön sind Sie da!
Logo Ex Libris

Formal Methods and Software Engineering

  • Kartonierter Einband
  • 670 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Leseprobe
This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, hel... Weiterlesen
20%
134.00 CHF 107.20
Sie sparen CHF 26.80
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 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.

Up to date results

Fast track conference proceedings

State of the art research

Produktinformationen

Titel: Formal Methods and Software Engineering
Untertitel: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
Editor:
EAN: 9783642245589
ISBN: 3642245587
Format: Kartonierter Einband
Herausgeber: Springer-Verlag GmbH
Genre: Informatik
Anzahl Seiten: 670
Gewicht: 1143g
Größe: H235mm x B155mm x T34mm
Jahr: 2011
Untertitel: Englisch
Auflage: Edition

Weitere Produkte aus der Reihe "Programming and Software Engineering"