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 The NexStar User’s Guide II by
bigCover of the book Multi-Criteria Decision Analysis to Support Healthcare Decisions by
bigCover of the book Sustainable Agriculture Reviews by
bigCover of the book Psychodynamic Perspectives on Aging and Illness by
bigCover of the book Energy, Complexity and Wealth Maximization by
bigCover of the book Data Analytics by
bigCover of the book Digital Education: Out to the World and Back to the Campus by
bigCover of the book Approximation and Online Algorithms by
bigCover of the book Economic and Social Impacts of Food Self-Reliance in the Caribbean by
bigCover of the book Critically Mediterranean by
bigCover of the book Multimodal Location Estimation of Videos and Images by
bigCover of the book Physical Sciences and Engineering Advances in Life Sciences and Oncology by
bigCover of the book Kantian Antitheodicy by
bigCover of the book Rap Beyond Resistance by
bigCover of the book Enterprise Applications and Services in the Finance Industry 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