5 Ebooks de Jeannette M. Wing
Ursula Martin & Jeannette M. Wing: First International Workshop on Larch
The papers in this volume were presented at the First International Workshop on Larch, held at MIT Endicott House near Boston on 13-15 July 1992. Larch is a family of formal specification languages a …
PDF
Engleză
DRM
€57.71
Jim Davies & Jeannette M. Wing: FM’99 – Formal Methods
Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A tr …
PDF
Engleză
DRM
€115.45
Jim Davies & Jeannette M. Wing: FM’99 – Formal Methods
Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A tr …
PDF
Engleză
DRM
€115.06
