This is our Canada store.

Looks like you're in United States. You need a Canada address to shop on our Canada store. Go to our United States store to continue.

Choose another store Go to United States Store Go to United States Store Choose another store

Have an account?Sign in

Provably Correct Systems - eBook by

Provably Correct Systems

Mike Hinchey,Jonathan P. Bowen,Ernst-Rüdiger Olderog

Computer Science (R0)

Synopsis

Categories

About this book

Language:English
ISBN:9783319486284
Release date:Jul 9, 2017
Publisher:Springer International Publishing

Imprint:Springer
File format:EPUB2
File size:4.67 MB
Download options:EPUB2 (Adobe DRM)

In this series

The Combined Power of Research, Education, and Dissemination - eBook by Mike Hinchey,Bernhard Steffen

The Combined Power of Research, Education, and Dissemination

Mike Hinchey,Bernhard Steffen

Conquering Complexity - eBook by Mike Hinchey,Lorcan Coyle

Conquering Complexity

Mike Hinchey,Lorcan Coyle