Marina Waldén
Identifiers
- Open LibraryOL9971611A
Top Subjects
- Z (computer program language) (1)
- High performance computing (1)
Books by Marina Waldén
Total count: 3
-
Formal Reasoning About Distributed AlgorithmsTurku Centre for Computer Science1998-01-01
-
ZB 2003 : Formal Specification and Development in Z and BThird International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, ProceedingsSpringer London, Limited2003-01-01
-
High Performance Computing for Computational Science - VECPAR 20025th International Conference, Porto, Portugal, June 26-28, 2002. Selected Papers and Invited TalksSpringer London, Limited2003-01-01