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 Synchronization of Integral and Fractional Order Chaotic Systems by
bigCover of the book Emerging Issues in Groundwater Resources by
bigCover of the book The Primacy of Regime Survival by
bigCover of the book Visual Methodologies and Digital Tools for Researching with Young Children by
bigCover of the book Language, Hegemony and the European Union by
bigCover of the book Rationality, Virtue, and Liberation by
bigCover of the book Competitiveness of CEE Economies and Businesses by
bigCover of the book Complexity Applications in Language and Communication Sciences by
bigCover of the book The Fantasy of Individuality by
bigCover of the book Game Theoretic Analysis of Congestion, Safety and Security by
bigCover of the book Molecular Vaccines by
bigCover of the book The Tangwang Language by
bigCover of the book Synthesis and Characterisation of Non-Fullerene Electron Acceptors for Organic Photovoltaics by
bigCover of the book Sustainable Logistics and Transportation by
bigCover of the book Massively Multi-Agent Systems II 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