|
11 |
Advances in software engineering Berlin : Springer, 2008
|
|
|
12 |
Advances in software engineering Berlin : Springer, 2008
|
|
|
13 |
Abstract state machines Börger, Egon. - Berlin : Springer, 2003
|
|
|
14 |
Abstract state machines 2003 Berlin : Springer, 2003
|
|
|
15 |
Abstract State Machines 2003 Cham : Springer Nature Switzerland, 2003
|
|
|
16 |
Java and the Java Virtual Machine Stärk, Robert F.. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2001
|
|
|
17 |
Java and the Java virtual machine Stärk, Robert F.. - Berlin : Springer, 2001
|
|
|
18 |
The classical decision problem Börger, Egon. - Berlin : Springer, 2001, 2. printing of the 1. ed.
|
|
|
19 |
Architecture design and validation methods Berlin : Springer, 2000
|
|
|
20 |
Architecture Design and Validation Methods Berlin, Heidelberg : Springer Berlin Heidelberg, 2000
|
|