7 Електронні книги від Flemming Nielson
Torben Amtoft & Hanne Riis Nielson: TYPE & EFFECT SYSTEMS
Concurrent and distributed processes occur everywhere: in embedded systems, in information networks and databases, and in the form of applets roaming around on the World-Wide-Web. This book presents …
PDF
Англійська
DRM
€144.99
Flemming Nielson: ML with Concurrency
Both functional and concurrent programming are relatively new paradigms with great promise. In this book, a survey is provided of extensions to Standard ML, one of the most widely used functional lan …
PDF
Англійська
DRM
€58.04
Christos Kaklamanis & Flemming Nielson: Trustworthy Global Computing
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Trustworthy Global Computing, TGC 2008 held in Barcelona, Spain, in November 2008. The …
PDF
Англійська
DRM
€57.82
Chris Hankin & Flemming Nielson: Principles of Program Analysis
Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software val …
PDF
Англійська
DRM
€57.94
Flemming Nielson & Hanne Riis Nielson: Formal Methods
This textbook is an introduction to the use of formal methods ranging from semantics of key programming constructs to techniques for the analysis and verification of programs. The authors use program …
PDF
Англійська
DRM
€57.85
Flemming Nielson & Hanne Riis Nielson: Semantics with Applications: An Appetizer
Semantics will have an important role to play in the future development of software systems and domain specific languages, and there is a real need for an introductory book that presents the fundamen …
PDF
Англійська
DRM
€34.79
Flemming Nielson & David Sands: Principles of Security and Trust
This open access book constitutes the proceedings of the 8th International Conference on Principles of Security and Trust, POST 2019, which took place in Prague, Czech Republic, in April 2019, held a …
EPUB
Англійська
DRM
€3.85