Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Correctness-by-Construction Approach to Programming

Language EnglishEnglish
Book Hardback
Book Correctness-by-Construction Approach to Programming Derrick G. Kourie
Libristo code: 01660456
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, April 2012
Focusing on ways to bridge the gap between formal and more intuitive software programming, this care... Full description
? points 249 b
102.99 €
In stock at our supplier Shipping in 10-13 days

30-day return policy

Customers also purchased

Sáček textil béžový 25x39cm mix / Book binding.
common.buy 4.24 €
J'aime collegium / Book Paperback
common.buy 11.73 €
Tetris – hra, ktorá zmenila dejiny Box Brown / Book Paperback
common.buy 18.20 €
Kosmokluk David Walliams / Book Paperback
common.buy 14.26 €
Supersensible Impulses P. King / Book Paperback
common.buy 23.16 €
SAN ANTONIO T3 TITRE A PRECISER Sanlaville / Book Hardback
common.buy 19.52 €
Affordable
Good Boy - Jófiú Elle Kennedy / Book Hardback
common.buy 7.48 €
Puedo Mirar Tu Regalo Guido van Genechten / Book Hardback
common.buy 14.46 €
Wärmeinduzierte Wechselwirkungen zwischen Kasein, Molkeproteinen und Lecithinen Mamdouh El-Bakry / Book Paperback
common.buy 33.88 €
ENGLISH PRONUNCIATION AA. VV / Book Paperback
common.buy 25.49 €
Guérir par l'énergie, la méditation et la thérapie VORGER / Book Paperback
common.buy 11.32 €
Dictionnaire des oeuvres érotiques COLLECTIFS MERC / Book Hardback
common.buy 37.63 €
Das Verhältnis Des Neugriechischen Zu Den Romanischen Sprachen: Eine Sprachvergleichende Betrachtun Hans Muller / Book Hardback
common.buy 32.47 €
Arabesky Jan Neruda / Book Hardback
common.buy 8.19 €
Introducción al Derecho de la Seguridad Social Santiago González Ortega / Book Paperback
common.buy 37.12 €
La negociación del convenio colectivo estatutario Francisco Ramón Lacomba Pérez / Book Paperback
common.buy 19.92 €
111 Gründe, Atlético Madrid zu lieben André Kahle / Book Paperback
common.buy 13.55 €
Histoire de Sainte Monique 5e Edition Bougaud-L-E / Book Paperback
common.buy 40.16 €
Histoire de La R'Volution Russe. La R'Volution D'Octobre T2 L'On Trotsky / Book Paperback
common.buy 13.24 €
Die Vorsokratischen Philosophen Geoffrey S. Kirk / Book Paperback
common.buy 23.77 €

Focusing on ways to bridge the gap between formal and more intuitive software programming, this carefully graded text provides stepwise explanation of algorithm derivation and facilitates practical applications in computation geometry, among other fields.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Correctness-by-Construction Approach to Programming
Author Derrick G. Kourie, Bruce W. Watson
Language English
Binding Book - Hardback
Date of issue 2012
Number of pages 266
EAN 9783642279188
ISBN 364227918X
Libristo code 01660456
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 556
Dimensions 165 x 235 x 26

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Advanced Network Programming - Principles and Techniques Bogdan Ciubotaru / Book Hardback
common.buy 51.69 €
The Spaewife: A Tale of the Scottish Chronicles, Volume 2 John Galt / Book Paperback
common.buy 23.06 €
The Winter Wives MacIntyre / Book Paperback
common.buy 12.94 €
The Hidden Life of Jesus: A Lesson and Model to Christians: Large Print Edition Henri-Marie Boudon / Book Paperback
common.buy 19.52 €
Between the Ticks of the Watch Kevin Beasley / Book Paperback
common.buy 31.25 €
Raw Food/Real World Matthew Kenney / E-book Adobe ePub DRM
common.buy 13.35 €
Ketogenic Diet: The Ultimate guide for beginners Holly Barnes / Book Paperback
common.buy 10.31 €
ESP8266 Internet of Things Cookbook MARCO SCHWARTZ / Book Paperback
common.buy 36.41 €
Hark to These Three Talk about Style T Sturge 1870-1944 Moore / Book Hardback
common.buy 29.74 €
New
Paul the Rabbi Philosopher: Stoic and Jewish Philosophy in the Apostle's Thought DODSON JOSEPH R / Book Paperback
common.buy 23.06 €
Weaving Carpets - The History of the Manufacture and Machinery Clinton G. Gilroy / Book Paperback
common.buy 29.63 €
Elizabeth Bishop Robert Giroux / Book Hardback
common.buy 33.48 €
Your Child at Play Marilyn Segal / Book Paperback
common.buy 23.56 €
Routledge Handbook of the Economics of Climate Change Adaptation Anil Markandya / Book Paperback
common.buy 102.69 €
Politics and Education in Argentina, 1946-1962 Monica Rein / Book Hardback
common.buy 235.03 €
Modern Cosmology Scott Dodelson / Book Hardback
common.buy 112.40 €
Origins of the Second World War A J P Taylor / Book Paperback
common.buy 13.95 €
Collected Poems David Constantine / Book Paperback
common.buy 18.71 €
Normativity and Phenomenology in Husserl and Heidegger Steven Crowell / Book Hardback
common.buy 107.64 €
Charting Transformation through Security Toni Haastrup / Book Hardback
common.buy 58.47 €
Game Theory in the Social Sciences Lambertini / Book Paperback
common.buy 110.38 €
History of Umuchu S. A. Nnolim / Book Paperback
common.buy 16.99 €
Food Contaminants and Residue Analysis Yolanda Pico / Book Hardback
common.buy 166.53 €
Self-Giving God and Salvation History Matthew L. Becker / Book Paperback
common.buy 107.14 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account