 |
| 1. |
|
Formal Methods: State of the Art and New Directions
Paul Boca, Jonathan P Bowen, Jawed Siddiqi
Häftad. Springer London Ltd, 2014.
|
 |
| 2. |
|
Formal Methods: State of the Art and New Directions
Paul Boca, Jonathan P Bowen, Jawed Siddiqi
Inbunden. Springer London Ltd, Storbritannien, 2009.
|
|
| 3. |
|
Formal Methods: State of the Art and New Directions
Paul Boca, Jonathan P Bowen, Jawed Siddiqi
E-bok. Springer London, Storbritannien, 2009.
|
|
|
|
