Overview
Part of the book series: The Springer International Series in Engineering and Computer Science (SECS, volume 577)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (12 chapters)
-
General Applications of Formal Methods and Systems
-
Case Study
Keywords
About this book
Editors and Affiliations
Bibliographic Information
Book Title: High Integrity Software
Editors: Victor L. Winter, Sourav Bhattacharya
Series Title: The Springer International Series in Engineering and Computer Science
DOI: https://doi.org/10.1007/978-1-4615-1391-9
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media New York 2001
Hardcover ISBN: 978-0-7923-7949-2Published: 31 May 2001
Softcover ISBN: 978-1-4613-5530-4Published: 01 November 2012
eBook ISBN: 978-1-4615-1391-9Published: 06 December 2012
Series ISSN: 0893-3405
Edition Number: 1
Number of Pages: XV, 325
Topics: Computer Science, general, Software Engineering/Programming and Operating Systems, Special Purpose and Application-Based Systems, Systems Theory, Control, Artificial Intelligence
Industry Sectors: IT & Software, Telecommunications