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 Compressed Sensing and Its Applications by
bigCover of the book Joint Care of Parents and Infants in Perinatal Psychiatry by
bigCover of the book State Fragility and State Building in Africa by
bigCover of the book Concise Guide to Formal Methods by
bigCover of the book Black Masculinity and the Cinema of Policing by
bigCover of the book MIMO Radar Waveform Design for Spectrum Sharing with Cellular Systems by
bigCover of the book Advances in Mechanics of Microstructured Media and Structures by
bigCover of the book Wireless Internet by
bigCover of the book Design of Power-Efficient Highly Digital Analog-to-Digital Converters for Next-Generation Wireless Communication Systems by
bigCover of the book Biotransformations in Organic Chemistry by
bigCover of the book Microstructure-Property Optimization in Metallic Glasses by
bigCover of the book An Intraoperative Beta−Probe for Cancer Surgery by
bigCover of the book Guide to Digital Forensics by
bigCover of the book Natural and Artificial Reasoning by
bigCover of the book Security and Privacy in Communication Networks 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