Concise Guide to Formal Methods - Theory, Fundamentals and Industry Applications
- Författare
- Gerard. O'Regan
- (Gerard O'Regan.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer International Publishing, Imprint: Springer | 2017 | Tyskland, Cham | XIX, 312 sidor. 81 illus., 56 illus. in color. online resource. | 978-3-319-64021-1 |
| Springer International Publishing, Imprint: Springer | 2017 | Tyskland, Cham | XXIV, 331 sidor. 99 illus., 12 illus. in color. online resource. | 978-3-319-57750-0 |