|
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.
|
|
4. |
|
Abstract State Machines, B and Z
Egon Brger, Michael Butler, Jonathan P Bowen, Paul Boca
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2008.
|
|
5. |
|
Abstract State Machines, B and Z
Egon Borger, Michael Butler, Jonathan P Bowen, Paul Boca
E-bok. Springer Berlin Heidelberg, Tyskland, 2008.
|
|
|
|