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

Software Engineering and Formal Methods

  • Kartonierter Einband
  • 400 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Leseprobe
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SE... Weiterlesen
CHF 77.00
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from 98 full submissions. The SEFM conference aspires to advance the state-of-the-art in formal methods, to enhance their scalability and usability with regards to their application in the software industry and to promote their integration with practical engineering methods.

Up to date results

Fast track conference proceedings

State of the art research



Inhalt
State-of-the-art in formal methods.-scalability and usability.-application in the software industry.-integration with practical engineering methods.

Produktinformationen

Titel: Software Engineering and Formal Methods
Untertitel: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
Editor:
EAN: 9783642338250
ISBN: 3642338259
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Anzahl Seiten: 400
Gewicht: 604g
Größe: H235mm x B155mm x T21mm
Jahr: 2012
Untertitel: Englisch
Auflage: 2012

Weitere Produkte aus der Reihe "Programming and Software Engineering"