Automated Theorem Proving in Software Engineering

Nonfiction, Computers, Advanced Computing, Artificial Intelligence, Programming, Software Development, General Computing
Big bigCover of Automated Theorem Proving in Software Engineering

More books from Springer Berlin Heidelberg

bigCover of the book Practice of Intramedullary Locked Nails by
bigCover of the book Genmanipulierte Menschheit by
bigCover of the book Traumatic Subarachnoid Haemorrhage by
bigCover of the book Concurrent Programming: Algorithms, Principles, and Foundations by
bigCover of the book Lawyers and Mediation by
bigCover of the book Histological Typing of Kidney Tumours by
bigCover of the book Ekel - Professioneller Umgang mit Ekelgefühlen in Gesundheitsfachberufen by
bigCover of the book Small Organic Molecules on Surfaces by
bigCover of the book Crystal Structure Determination by
bigCover of the book Immunological Screening and Immunotherapy in Critically ill Patients with Abdominal Infections by
bigCover of the book Wertungen, Werte – Das Buch der Grundlagen für Bildung und Organisationsentwicklung by
bigCover of the book Myocardial Biopsy by
bigCover of the book Chromosomes by
bigCover of the book Hidden Champions in CEE and Turkey by
bigCover of the book Rehabilitation der oberen Extremität 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