Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings /

Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings /

Show other versions (2)

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. T...

Full description

Bibliographic Details
Corporate Author: International Conference on Integrated Formal Methods Turku, Finland
Other Authors: Johnsen, Einar Broch (Editor), Petre, Luigia, 1974- (Editor)
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, ©2013
Series:LNCS sublibrary Programming and software engineering.
Lecture notes in computer science ; 7940
Subjects:
Formal methods (Computer science) > Congresses
Software engineering > Congresses
Computer Systems
Computing Methodologies
Formal methods (Computer science)
Software engineering
Computer science
Logic design
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
computer sciences
computerwetenschappen
logic
logica
mathematics
programmeertalen
programming languages
wiskunde
Informatie- en communicatietechnologie (algemeen)
Information and Communication Technology (General)
Congresses
Electronic books
Conference papers and proceedings
Ebook

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Stanford University

Holdings details from Stanford University
Call Number: ISIL:US-CST

Similar Items