An edition of Leveraging Applications of Formal Methods, Verification and Validation (2008)

Leveraging Applications of Formal Methods, Verification and Validation

5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

by and

Leveraging Applications of Formal Methods, Ve ...
Tiziana Margaria, Bernhard Ste ...
Locate

My Reading Lists:

Create a new list
Notes
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
February 26, 2022 | History
Edit
An edition of Leveraging Applications of Formal Methods, Verification and Validation (2008)

Leveraging Applications of Formal Methods, Verification and Validation

5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

by and

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer Berlin / Heidelberg
Language
English

Check nearby libraries

Buy this book

Subjects

Computer software, verification, Computer software, validation, System design
Edition Availability
Cover of: Leveraging Applications of Formal Methods, Verification and Validation
Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings
2021, Springer International Publishing AG
in English
Cover of: Leveraging Applications of Formal Methods, Verification and Validation
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
2012, Springer Berlin / Heidelberg
in English
Cover of: Leveraging Applications of Formal Methods, Verification and Validation
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... I
Sep 11, 2012, Springer
paperback
Cover of: Leveraging Applications of Formal Methods, Verification and Validation
Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings
2008, Springer London, Limited
in English

Add another edition?

Book Details

Classifications

Library of Congress
QA76.758

The Physical Object

Pagination
xvi, 361
Weight
0.581

Edition Identifiers

Open Library
OL37155837M
ISBN 13
9783642340314

Work Identifiers

Work ID
OL20800015W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Download catalog record: RDF / JSON
February 26, 2022 Edited by ImportBot import existing book
May 29, 2020 Created by ImportBot import new book