Enlarge

Leveraging applications of formal methods, verification and validation : 6th international symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 : proceedings

Publication Data

Title Leveraging applications of formal methods, verification and validation : 6th international symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 : proceedings
Contributors Tiziana Margaria-Steffen, Bernhard Steffen
Publisher Springer
Publication date 2014
Publication location Heidelberg
Volumes 2
Language English

Technologies for mastering change
Specialized techniques and applications.

Topics

Formal methods (Computer science) :: Congresses
Computer software :: Verification :: Congresses
Computer software :: Validation :: Congresses

Catalogue Data

OBNB ID GBB4D2175
ISBN 10 3662452308
ISBN 13 9783662452301
Type BibliographicResource, MultiVolumeBook
Dewey Classification 005.12

ISBD

P1053 2 volumes
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Leveraging applications of formal methods, verification and validation : 6th international symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 : proceedings. ISBN 9783662452301. Published by Springer in 2014. Publication and catalogue information, links to buy online and reader comments.

Leveraging applications of formal methods, verification and validation : 6th international symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 : proceedings

Publication Data

Contents

Topics

Catalogue Data

ISBD

Buy a copy