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 Computers and Games by
bigCover of the book Policing Terrorism, Crime Control, and Police-Community Relations by
bigCover of the book Modern Topics in the Phototrophic Prokaryotes by
bigCover of the book Scalable Uncertainty Management by
bigCover of the book Territorial Self-Government as a Conflict Management Tool by
bigCover of the book Transport Phenomena in Newtonian Fluids - A Concise Primer by
bigCover of the book Progress in Nanophotonics 3 by
bigCover of the book Performing Remembering by
bigCover of the book Bio-based Polyols and Polyurethanes by
bigCover of the book Quality of Life in Communities of Latin Countries by
bigCover of the book Human Language Technology. Challenges for Computer Science and Linguistics by
bigCover of the book Challenging Problems and Solutions in Intelligent Systems by
bigCover of the book Safe Zone by
bigCover of the book Deconstructing Ethnography by
bigCover of the book Advances in Stochastic and Deterministic Global Optimization 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