Filter
Søkt på: Søkeresultat
Filter
totalt 2 treff
ZB 2002: Formal Specification and Development in Z and B
heftet,
2002,
Engelsk,
ISBN 9783540431664
These proceedings record the papers presented at the second International Conference of B and Z Users (ZB2002), held on 23-25 January 2002 in the city of Grenoble in the heart of …
Methodology of Window Management
heftet,
2011,
Engelsk,
ISBN 9783642709210
This volume is a record of the Workshop on Window Management held at the Ruth erford Appleton Laboratory's Cosener's House between 29 April and 1 May 1985. The main impetus for …