An edition of Integrated Formal Methods (2013)

Integrated Formal Methods

10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

by

Cover of: Integrated Formal Methods by Einar Broch Johnsen, Einar Broch Johnsen
Locate

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
July 1, 2019 | History
Edit
An edition of Integrated Formal Methods (2013)

Integrated Formal Methods

10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

by

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. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.

Publish Date
Publisher
Springer Berlin Heidelberg, Imprint: Springer
Language
English
Pages
443

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Mathematical Logic and Formal Languages, Logic design, Logics and Meanings of Programs, Computer science, Software engineering, Programming Languages, Compilers, Interpreters
Edition Availability
Cover of: Integrated Formal Methods
Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
2013, Springer Berlin Heidelberg, Imprint: Springer
electronic resource : in English
Cover of: Integrated Formal Methods
Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
2013, Springer Berlin / Heidelberg
in English

Add another edition?

Book Details

Edition Notes

Published in
Berlin, Heidelberg
Series
Lecture Notes in Computer Science -- 7940

Classifications

Dewey Decimal Class
005.1
Library of Congress
QA76.758

The Physical Object

Format
[electronic resource] :
Pagination
XIV, 443 p. 95 illus.
Number of pages
443

ID Numbers

Open Library
OL27045953M
Internet Archive
integratedformal00abri
ISBN 13
9783642386138

Source records

Internet Archive item record
Better World Books record
harvard_bibliographic_metadata record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
July 1, 2019 Created by MARC Bot import new book