Formal Methods: State of the Art and New Directions
- Författare
- Paul. Boca
- (Edited by Paul Boca, Jonathan P. Bowen, Jawed Siddiqi.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer London | 2010 | Storbritannien, London | 978-1-84882-736-3 |