Return to home page
Searching: Muskingum library catalog
We are currently experiencing delivery delays for items requested from other institutions while transitioning to a new statewide delivery service. Please contact your library with questions or advice about alternative resources. Thank you for your patience!
  Previous Record Previous Item Next Item Next Record
  Reviews, Summaries, etc...
EBOOK
Conference International Symposium of Formal Methods Europe (17th : 2011 : Limerick, Limerick, Ireland)
Title FM 2011 : formal methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011 : proceedings / Michael Butler, Wolfram Schulte (eds.).
Imprint Berlin : Springer, 2011.

LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
Conference International Symposium of Formal Methods Europe (17th : 2011 : Limerick, Limerick, Ireland)
Series Lecture notes in computer science, 0302-9743 ; 6664
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 6664. 0302-9743
LNCS sublibrary. SL 2, Programming and software engineering.
Subject Computer software -- Development -- Congresses.
Formal methods (Computer science) -- Congresses.
System design -- Mathematics -- Congresses.
Alt Name Butler, Michael, 1967-
Schulte, Wolfram.
Description 1 online resource (xiv, 450 pages) : illustrations.
Bibliography Note Includes bibliographical references and index.
Summary This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking.
Note English.
Print version record.
ISBN 9783642214370
3642214371
9783642214363
3642214363
ISBN/ISSN 10.1007/978-3-642-21437-0
OCLC # 733553551
Additional Format Print version: Fm 2011. Springer-Verlag New York Inc 2011 9783642214363 (DLC) 2011928375 (OCoLC)733244468



If you experience difficulty accessing or navigating this content, please contact the OPAL Support Team