|
1. |
|
High Performance Computing for Computational Science - VECPAR 2002
Jos M L M Palma, Jack Dongarra, Vicente Hernndez, A Augusto Sousa, Marina Waldn
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2003.
|
|
2. |
|
ZB 2003: Formal Specification and Development in Z and B
Didier Bert, Jonathan P Bowen, Steve King, Marina Waldn
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2003.
|
|
|
|