jonathan p bowen
Formal Methods: State of the Art and New Directions
EbookSofort lieferbarThe last decade has witnessed a modest but sustained increase in researching and applying formal ...
Electronic Visualisation in Arts and Culture
EbookSofort lieferbarPresenting the latest technological developments in arts and culture, this volume demonstrates th...
The Turing Guide
EbookSofort lieferbarAlan Turing has long proved a subject of fascination, but following the centenary of his birth in...
Provably Correct Systems
EbookSofort lieferbarAs computers increasingly control the systems and services we depend upon within our daily lives ...
Getting Started with Talend Open Studio for Data Integration
EbookSofort lieferbarTalend Open Studio for Data Integration (TOS) is an open source graphical development environment...
The Turing Guide
EbookSofort lieferbarAlan Turing has long proved a subject of fascination, but following the centenary of his birth in...
Museums and Digital Culture
EbookSofort lieferbarThis book explores how digital culture is transforming museums in the 21st century. Offering a co...
Engineering Trustworthy Software Systems
EbookSofort lieferbarThis volume contains lectures on leading-edge research in methods and tools for use in computer s...
Abstract State Machines, B and Z
EbookSofort lieferbarThis book constitutes the refereed proceedings of the First International Conference of Abstract ...
Formal Methods and Testing
EbookSofort lieferbarThis book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and...
Unifying Theories of Programming
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 6th International Symposium on Unifying The...
Engineering Trustworthy Software Systems
EbookSofort lieferbarThe six contributions included in this volume provide an overview of leading-edge research in met...