E-book
Formal Methods: State of the Art and New Directions [electronic resource] / edited by Paul Boca, Jonathan P. Bowen, Jawed Siddiqi.
Record details
- ISBN: 9781848827363
- Physical Description: XXVI, 273 p. online resource.
- Publisher: London : Springer London : 2010.
Search for related items by subject
| Subject: | Computer science. Software engineering. Computer Science. Software Engineering. Mathematical Logic and Formal Languages. Programming Languages, Compilers, Interpreters. |
