Theory and Practice of Formal Methods

Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Nonfiction, Computers, Programming, Software Development, General Computing
Big bigCover of Theory and Practice of Formal Methods

More books from Springer International Publishing

bigCover of the book Diagrammatic Representation and Inference by
bigCover of the book Advanced and Intelligent Control in Power Electronics and Drives by
bigCover of the book Lebanon’s Jewish Community by
bigCover of the book Articulated Motion and Deformable Objects by
bigCover of the book Fraud Prevention in Online Digital Advertising by
bigCover of the book Dental Stem Cells: Regenerative Potential by
bigCover of the book Dynamic Behavior of Materials, Volume 1 by
bigCover of the book Historical Farmland in China During 1661-1980 by
bigCover of the book Playing to Learn with Reacting to the Past by
bigCover of the book Proceedings of the 2015 Federated Conference on Software Development and Object Technologies by
bigCover of the book Tangible Modeling with Open Source GIS by
bigCover of the book The Argentina Continental Margin by
bigCover of the book Social and Environmental Dimensions of Organizations and Supply Chains by
bigCover of the book Advances in User Authentication by
bigCover of the book High-Impact Weather Events over the SAARC Region by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy