About this book
Keywords
Automat automated theorem proving formal method formal specification logic theorem proving verification
Editors and affiliations
Bibliographic information
- DOI https://doi.org/10.1007/978-1-4471-0043-0
- Copyright Information Springer-Verlag London Limited 2003
- Publisher Name Springer, London
- eBook Packages Springer Book Archive
- Print ISBN 978-1-85233-247-1
- Online ISBN 978-1-4471-0043-0
- Buy this book on publisher's site
- Industry Sectors
- Automotive
- Electronics
- IT & Software
- Telecommunications
- Aerospace
- Engineering