Provably Correct Systems

Nonfiction, Science & Nature, Mathematics, Logic, Computers, General Computing, Programming
Big bigCover of Provably Correct Systems

More books from Springer International Publishing

bigCover of the book Software Quality: The Complexity and Challenges of Software Engineering and Software Quality in the Cloud by
bigCover of the book Sir Peter Hall: Pioneer in Regional Planning, Transport and Urban Geography by
bigCover of the book Advances in Transitional Flow Modeling by
bigCover of the book Nonlinear Dynamics and Complexity by
bigCover of the book ACEi and ARBS in Hypertension and Heart Failure by
bigCover of the book The Emergence of ETFs in Asia-Pacific by
bigCover of the book Rising Time Schemes in Babylonian Astronomy by
bigCover of the book The Advent of Unmanned Electric Vehicles by
bigCover of the book High Performance Computing and Applications by
bigCover of the book Growth of High Permittivity Dielectrics by High Pressure Sputtering from Metallic Targets by
bigCover of the book Heidegger's Poetic Projection of Being by
bigCover of the book Women in STEM Disciplines by
bigCover of the book Corporate Social Responsibility in India by
bigCover of the book HIV/AIDS in Rural Communities by
bigCover of the book Automated Reasoning 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