Amazon cover image
Image from Amazon.com

Software engineering and formal methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings / Dimitra Giannakopoulou, Gwen Salaün (eds.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 8702. | LNCS sublibrary. SL 2, Programming and software engineering.Publisher: Cham : Springer, 2014Description: 1 online resource (xxii, 394 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783319104317
  • 3319104314
Other title:
  • SEFM 2014
Subject(s): Genre/Form: Additional physical formats: Printed edition:: No titleDDC classification:
  • 005.1 23
LOC classification:
  • QA76.758
Online resources:
Contents:
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.
In: Springer eBooksSummary: 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.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

International conference proceedings.

Includes bibliographical references and author index.

Online resource; title from PDF title page (SpringerLink, viewed August 19, 2014).

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.

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.

English.

Powered by Koha