5 Ebook di 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
Inglese
DRM
€57.78
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
Inglese
DRM
€114.36
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
Inglese
DRM
€114.94
Peter (Stanford University, California) Norvig & Alfred Z. (Massachusetts Institute of Technology) Spector: Data Science in Context
Data science is the foundation of our modern world. It underlies applications used by billions of people every day, providing new tools, forms of entertainment, economic growth, and potential solutio …
PDF
DRM
€38.31
