The Correctness-by-Construction Approach to Programming

Nonfiction, Computers, Programming, Software Development, General Computing
Big bigCover of The Correctness-by-Construction Approach to Programming

More books from Springer Berlin Heidelberg

bigCover of the book Personalmanagement für Leitende Ärzte by
bigCover of the book Transient Heat Transfer by
bigCover of the book Histological Typing of Soft Tissue Tumours by
bigCover of the book Python 3 - Intensivkurs by
bigCover of the book Petrogenesis of Metamorphic Rocks by
bigCover of the book The Power of Algorithms by
bigCover of the book Projektabwicklung in der Bauwirtschaft – prozessorientiert by
bigCover of the book Industrial Applications by
bigCover of the book Mental Imagery by
bigCover of the book Soil Pollution by
bigCover of the book Spontaneous and Induced Intima Formation in Blood Vessels by
bigCover of the book Polnisch-Deutsch für die Pflege zu Hause by
bigCover of the book Innovative China by
bigCover of the book Techniken der offenen Gefäßchirurgie by
bigCover of the book Transplantation Pathology 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