Code: 01660456
Correctness-by-Construction Approach to Programming
by Derrick G. Kourie, Bruce W. Watson
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 geom ... more
- Language:
English - Binding: Hardback
- Number of pages: 266
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012
- More about this
102.71 €
RRP: 111.32 €
You save 8.60 €
In stock at our supplier
Shipping in 10 - 13 days
You might also like
-
Origins of the Second World War
13.92 € -24 % -
Politics And Philosophy: Niccolo Machiavelli And Louis Althusser's Aleatory Materialism
30.97 € -24 % -
J'aime
11.70 € -16 % -
Kosmokluk
15.23 € -7 % -
Tetris – hra, ktorá zmenila dejiny
13.51 € -29 % -
111 Gründe, Atlético Madrid zu lieben
13.51 € -10 % -
Good Boy - Jófiú
7.46 € -33 % -
Arabesky
6.35 € -29 % -
ENGLISH PRONUNCIATION
25.52 € -9 % -
Puedo Mirar Tu Regalo
14.42 € -10 % -
Dictionnaire des oeuvres érotiques
37.53 € -
Elizabeth Bishop
31.17 € -28 % -
Advanced Network Programming - Principles and Techniques
51.55 € -7 % -
Paul the Rabbi Philosopher: Stoic and Jewish Philosophy in the Apostle's Thought
21.58 € -25 % -
ESP8266 Internet of Things Cookbook
34.50 € -2 % -
History of Umuchu
16.14 € -2 % -
Histoire de Sainte Monique 5e Edition
38.13 € -
Sáček textil béžový 25x39cm mix
4.23 € -8 % -
The Government of England. Volume 2 of 2
29.15 € -1 % -
AutoCAD 2008, paso a paso
29.56 € -
SAN ANTONIO T3 TITRE A PRECISER
19.46 € -
Collected Poems
17.55 € -24 % -
Guardians of Earth
7.15 € -25 % -
Food Contaminants and Residue Analysis
302.41 € -9 % -
Advances In Pharmaceutical Cell Therapy: Principles Of Cell-based Biopharmaceuticals
203.32 € -
The Hidden Life of Jesus: A Lesson and Model to Christians: Large Print Edition
18.46 € -7 % -
Histoire de La R'Volution Russe. La R'Volution D'Octobre T2
13.21 € -
Game Theory in the Social Sciences
115.63 € -
Modern Cosmology
107.56 € -
Egret Ranch
13.01 € -2 % -
Normativity and Phenomenology in Husserl and Heidegger
102.41 € -
Hark to These Three Talk about Style
28.24 € -1 % -
Ketogenic Diet: The Ultimate guide for beginners
9.78 € -6 % -
Die Vorsokratischen Philosophen
23.70 € -6 % -
Supersensible Impulses
21.69 € -24 % -
Guérir par l'énergie, la méditation et la thérapie
11.29 € -
Routledge Handbook of the Economics of Climate Change Adaptation
103.42 € -
Das Verhältnis Des Neugriechischen Zu Den Romanischen Sprachen: Eine Sprachvergleichende Betrachtun
32.99 € -
Wärmeinduzierte Wechselwirkungen zwischen Kasein, Molkeproteinen und Lecithinen
33.79 € -11 % -
Between the Ticks of the Watch
31.17 € -9 % -
Self-Giving God and Salvation History
101.70 € -
Charting Transformation through Security
55.69 € -
La negociación del convenio colectivo estatutario
19.87 € -
Black and White Media - Black Images in Popular Film and Television
24.21 € -4 % -
Politics and Education in Argentina, 1946-1962
224.10 € -
Your Child at Play
22.09 € -18 % -
Weaving Carpets - The History of the Manufacture and Machinery
28.04 € -9 % -
The Spaewife: A Tale of the Scottish Chronicles, Volume 2
21.89 € -2 % -
Introducción al Derecho de la Seguridad Social
37.02 €
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Correctness-by-Construction Approach to Programming
You get 249 loyalty points
Book synopsis
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.
Book details
Book category Books in English Computing & information technology Computer programming / software development Software Engineering
102.71 €
- Full title: Correctness-by-Construction Approach to Programming
- Author: Derrick G. Kourie, Bruce W. Watson
- Language: English
- Binding: Hardback
- Number of pages: 266
- EAN: 9783642279188
- ISBN: 364227918X
- ID: 01660456
- Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Weight: 556 g
- Dimensions: 235 × 165 × 26 mm
- Date of publishing: 11. April 2012
Trending among others
-
Implementing Domain-Driven Design
52.87 € -14 % -
Refactoring
53.57 € -4 % -
The Mythical Man-Month
35.41 € -14 % -
Software Requirements
35.61 € -24 % -
Software Estimation
31.98 € -24 % -
Management 3.0
51.45 € -
Clean Architecture
30.06 € -14 % -
Cracking the Coding Interview
46.10 € -18 % -
Clean Code
50.75 € -14 % -
Domain-Driven Design Distilled
30.67 € -19 % -
Peopleware
37.12 € -14 % -
Software Engineering at Google
46.31 € -25 % -
User Stories Applied
43.88 € -14 % -
User Story Mapping
33.69 € -24 % -
Working Effectively with Legacy Code
52.87 € -14 % -
Software Architect Elevator
46.31 € -25 % -
Pro Git
51.05 € -
Data Mesh
55.99 € -25 % -
Mastering Regular Expressions 3e
42.47 € -24 % -
Agile Testing
48.43 € -14 % -
More Agile Testing
42.77 € -14 % -
Official (ISC)2 (R) Guide to the ISSAP (R) CBK
111.29 € -
Programming Elixir 1.6
43.99 € -19 % -
Ida Pro Book, 2nd Edition
70.52 € -9 % -
Agile Project Management For Beginners
10.28 € -2 % -
Forecasting Oracle Performance
43.68 € -9 % -
Escape Velocity
18.56 € -24 % -
Apprenticeship Patterns
29.76 € -
Patterns of Enterprise Application Architecture
57.31 € -14 % -
The Clean Coder
37.12 € -14 % -
Test Driven Development
40.25 € -14 % -
Continuous Delivery
48.83 € -14 % -
Expert Test Manager
35.31 € -25 % -
OCUP 2 Certification Guide
57.61 € -
Talking with Tech Leads
22.59 € -6 % -
Agile Samurai
33.29 € -19 % -
Managing the Testing Process - Practical Tools and Techniques for Managing Hardware and Software Testing 3e +Website
31.98 € -24 % -
Real-Time Collision Detection
140.05 € -
Beyond Software Architecture
64.97 € -
Clean Agile
36.11 € -18 % -
Lessons Learned in Software Testing - A Context- Driven Approach
39.65 € -10 % -
Advanced Software Testing - Vol. 1, 2nd Edition
38.74 € -25 % -
Requirements Engineering Fundamentals
28.45 € -25 % -
Design It! : Pragmatic Programmers
38.74 € -20 % -
Advanced Software Testing
58.42 € -
Righting Software
54.08 € -
DevOps For Dummies
21.48 € -29 % -
Head First Objects-Oriented Analysis and Design
49.13 € -24 % -
Exploratory Software Testing
38.33 € -14 %
Shopping guide
Books by language
Collection points Bratislava a 12986 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25976 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)