|
|
|
1. |
|
Model-Based Software Testing and Analysis with C#
Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte
E-bok. Cambridge University Press, Storbritannien, 2007.
|
|
2. |
|
Model-Driven Engineering Languages and Systems
Juergen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrahao, Emilio Insfran
Häftad. Springer International Publishing AG, Schweiz, 2014.
|
|
3. |
|
Model-Driven Engineering Languages and Systems
Juergen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrahao, Emilio Insfran
E-bok. Springer International Publishing, Schweiz, 2014.
|
|
4. |
|
Fields of Logic and Computation II
Lev D Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte
Häftad. Springer International Publishing AG, Schweiz, 2015.
|
|
5. |
|
Fields of Logic and Computation II
Lev D Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte
E-bok. Springer International Publishing, Schweiz, 2015.
|
|
6. |
|
Formal Methods and Software Engineering
Jim Davies, Wolfram Schulte, Mike Barnett
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2004.
|
|
7. |
|
Formal Methods and Software Engineering
Jim Davies, Wolfram Schulte, Mike Barnett
E-bok. Springer Berlin Heidelberg, Tyskland, 2004.
|
|
8. |
|
FM 2011: Formal Methods
Michael Butler, Wolfram Schulte
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2011.
|
|
9. |
|
FM 2011: Formal Methods
Michael Butler, Wolfram Schulte
E-bok. Springer Berlin Heidelberg, Tyskland, 2011.
|
|
|
|