Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings

Unbekannt

ISBN 10: 3642405606 / ISBN 13: 9783642405600

Verlag: Springer Berlin Heidelberg, 2013

Beschreibung

Zustand: Sehr gut | Seiten: 340 | Sprache: Englisch | Produktart: Bücher.

Bestandsnummer des Verkäufers 24146201/12

Bibliografische Details

• Titel: Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings
• Verlag: Springer Berlin Heidelberg
• Erscheinungsjahr: 2013
• Sprache: Englisch
• ISBN-10: 3642405606
• ISBN-13: 9783642405600
• Einband: Softcover
• Zustand: Sehr gut

Über diesen Titel

Inhaltsangabe

This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation.