Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems
- Author
- Dan Craigen and Susan Gerhart (Auth.)
- Publisher
- Noyes Data Corp
- Language
- English
- Year
- 1995
- Page
- 310
- ISBN
- 978-0-8155-1362-9,0-8155-1362-3
- File Type
- pdf
- File Size
- 35.7 MiB
How to Download?!!!
Just click on START button on Telegram Bot