| Formal Methods for Industrial Critical Systems: 20th International Workshop, Fmics 2015 Oslo, Norway, June 22-23, 2015 Proceedings 2015 Edition Contributor(s): Núñez, Manuel (Editor), Güdemann, Matthias (Editor) |
|
 |
ISBN: 3319194577 ISBN-13: 9783319194578 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback Published: May 2015 |
| Additional Information |
| BISAC Categories: - Computers | Programming Languages - General - Computers | Compilers - Computers | Software Development & Engineering - General |
| Dewey: 004.6 |
| Series: Lecture Notes in Computer Science |
| Physical Information: 0.49" H x 6.14" W x 9.21" (0.73 lbs) 213 pages |