Code: 08577018
Verification of Sequential and Concurrent Programs
by Ernst-Rudiger Olderog
This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to c ... more
- Language:
English - Binding: Paperback
- Number of pages: 502
Publisher: Springer London Ltd, 2012
- More about this
80.61 €
RRP: 89.32 €
You save 8.70 €
In stock at our supplier
Shipping in 8 - 11 days
You might also like
-
Who Are We?, English edition
15.47 € -25 % -
Social work in end-of-life and palliative care
33.47 € -12 % -
Мёртвые души
8.89 € -11 % -
Fighting Chances: MM Enemies to Lovers Anthology
25.18 € -6 % -
No-Sew Knits
26.70 € -15 % -
Tuttle Learner's Chinese-English Dictionary
36.81 € -
Les Malformations Neuro-Orthop diques Apr s F condation in Vitro
34.89 € -11 % -
Real Estate Smart: The New Home Buying Guide
10.61 € -7 % -
Housing in Rural America
54.01 € -10 % -
CHRONOLOGY; OR, THE HISTORIAN'S COMPANIO
32.77 € -2 % -
The United States and the Developing Economies the United States and the Developing Economies
23.76 € -17 % -
New Channels of Music Distribution
47.74 € -14 % -
Elmar und Willi, Deutsch-Türkisch. Elmer ve Willi
10.71 € -5 % -
Currywurstfuhrer Schleswig-Holstein
9.09 € -10 % -
Superconductors at the Nanoscale
158.81 € -4 % -
Low-Born Lass
23.56 € -25 % -
PEINTURES ET STUCS D'ÉPOQUE ROMAINE, ÉTUDES TOICHOGRAPHOLOGIQUES
54.21 € -
Who Wrote The Book of Death?
15.77 € -7 % -
Quand les animaux nous font du bien
25.89 € -
Stars in His Eyes
24.67 € -9 % -
Metadona e os Tratamentos de SubstituiÇao, A
18.10 € -4 % -
Eighth Method
11.22 € -2 % -
Le second crime de la Dame en noir - roman
24.17 € -
Samsø Kulturreiseführer
18.91 € -4 % -
Hawks Kettle, Puffins Wheel
17.09 € -3 % -
"JEALOUSY"
14.86 € -2 % -
Triomphe Du Christ, Histoire Du Sacre-Coeur de Montmartre
26.90 € -
Kritische Theorie und die Studien zur Authoritarian Personality
14.46 € -10 %
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 Verification of Sequential and Concurrent Programs
You get 195 loyalty points
Book synopsis
This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems.
Book details
Book category Books in English Computing & information technology Computer programming / software development Algorithms & data structures
80.61 €
- Full title: Verification of Sequential and Concurrent Programs
- Author: Ernst-Rudiger Olderog
- Language: English
- Binding: Paperback
- Number of pages: 502
- EAN: 9781447125136
- ISBN: 9781447125136
- ID: 08577018
- Publisher: Springer London Ltd
- Weight: 746 g
- Dimensions: 235 × 156 × 28 mm
- Date of publishing: 04. March 2012
Trending among others
-
Computer Science Distilled
23.76 € -2 % -
Network Science
60.89 € -5 % -
Algorithms Unlocked
34.18 € -
Purely Functional Data Structures
64.83 € -
Logic of Categorial Grammars
72.11 € -7 % -
Algeria
11.62 € -15 % -
Walk in the Woods
7.88 € -25 % -
Via Ferratas of the Italian Dolomites: Vol 2
22.45 € -21 % -
Isle of Skye
8.69 € -14 % -
From Mathematics to Generic Programming
32.66 € -14 % -
Probabilistic Data Structures and Algorithms for Big Data Applications
33.88 € -14 % -
Graph Algorithms
56.13 € -25 % -
Formal Concept Analysis
65.54 € -9 % -
Algorithms
72.52 € -14 % -
Alpine Ski Mountaineering Vol 1 - Western Alps
18.10 € -24 % -
Computer Graphics From Scratch
34.99 € -29 % -
Computer Science Distilled
30.94 € -2 % -
MMIX Supplement
28.31 € -2 % -
Walking in Italy's Stelvio National Park
27.61 € -
Manaslu
21.84 € -
Chamonix Mountain Adventures
19.11 € -24 % -
Blue Guide Central Italy with Rome and Florence
26.70 € -22 % -
Algorithms in a Nutshell, 2e
58.16 € -
Kackar
33.88 € -
Camino de Santiago walking g. 42W Pyrenees to Santiago
22.24 € -
Blue Guide Sicily
19.61 € -24 % -
Walks Isle of Skye
4.24 € -21 % -
40 Algorithms Every Programmer Should Know
48.14 € -1 % -
Cumbria Way XT40
22.24 € -5 % -
Introduction to Algorithms
64.22 € -
Deep Learning with PyTorch
58.05 € -9 % -
Trekking in the Alps
21.64 € -25 % -
West Highland Way
22.24 € -5 % -
Mountains of Andorra
21.84 € -
Corsica 85 walks walking guide
22.24 € -
Walking in the Alps
35.70 € -
Dive the Red Sea
18.10 € -9 % -
Algorithmic Puzzles
40.25 € -
Blue Guide Crete
18.20 € -25 % -
Walking on Samos
16.78 € -4 % -
Problem Solving with Algorithms and Data Structures Using Python
39.85 € -
Walking in the Caucasus, Georgia
17.59 € -5 % -
Blue Guide Greece
31.05 € -2 % -
Wild Swimming Italy
18.10 € -25 % -
Quantum Computing for Developers
54.21 € -
Practical AI for Business Leaders, Product Managers, and Entrepreneurs
40.96 € -25 % -
Lisburn Street Map
14.25 € -9 % -
Aragon Cataluna - Michelin Regional Map 574
7.48 € -15 % -
Wild
25.08 € -25 %
Shopping guide
Books by language
Collection points Bratislava a 12892 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25788 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)