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

Software Engineering and Formal Methods

  • E-Book (pdf)
  • 394 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, S... Weiterlesen
CHF 75.90
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.
The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems.



Inhalt

Program Verification.- Testing.- Component-Based Systems.- Real-Time and Embedded Systems.- Model Checking and Automata Learning.- Tool Papers.- Program Correctness.- Adaptive and Multi-Agent Systems.

Produktinformationen

Titel: Software Engineering and Formal Methods
Untertitel: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
Editor:
EAN: 9783319104317
Format: E-Book (pdf)
Hersteller: Springer International Publishing
Genre: IT & Internet
Veröffentlichung: 04.08.2014
Digitaler Kopierschutz: Wasserzeichen
Dateigrösse: 6.29 MB
Anzahl Seiten: 394

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"