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 Optical Properties of Metallic Nanoparticles by
bigCover of the book The Proceedings of the Second International Conference on Communications, Signal Processing, and Systems by
bigCover of the book Arithmetic of Finite Fields by
bigCover of the book Developing Language Teacher Autonomy through Action Research by
bigCover of the book Imprecision and Uncertainty in Information Representation and Processing by
bigCover of the book The Siberian Sturgeon (Acipenser baerii, Brandt, 1869) Volume 2 - Farming by
bigCover of the book Global Financial Crisis and Its Ramifications on Capital Markets by
bigCover of the book The World of Applied Electromagnetics by
bigCover of the book Prenatal and Preimplantation Diagnosis by
bigCover of the book The Economic Lifecycle, Gender and Intergenerational Support by
bigCover of the book Advances in Watershed Science and Assessment by
bigCover of the book Signal Integrity by
bigCover of the book 3D Cinematic Aesthetics and Storytelling by
bigCover of the book Macroergonomics for Manufacturing Systems by
bigCover of the book Process-Driven Applications with BPMN 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