Kód: 08577018
Verification of Sequential and Concurrent Programs
Autor 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 ... celý popis
- Jazyk:
Angličtina - Väzba: Brožovaná
- Počet strán: 502
Nakladateľ: Springer London Ltd, 2012
- Viac informácií o knihe
80.46 €
Bežne: 89.15 €
Ušetríte 8.69 €
Skladom u dodávateľa
Odosielame za 8 - 11 dní
Mohlo by sa vám tiež páčiť
-
Who Are We?, English edition
15.44 € -25 % -
Social work in end-of-life and palliative care
33.41 € -12 % -
Мёртвые души
8.88 € -11 % -
Fighting Chances: MM Enemies to Lovers Anthology
25.13 € -6 % -
Debats Humanistes Sur La Langue Parlee Dans L'Antiquite
79.45 € -
Les Malformations Neuro-Orthop diques Apr s F condation in Vitro
34.82 € -11 % -
Tuttle Learner's Chinese-English Dictionary
36.74 € -
Real Estate Smart: The New Home Buying Guide
10.59 € -7 % -
CHRONOLOGY; OR, THE HISTORIAN'S COMPANIO
32.70 € -2 % -
Elmar und Willi, Deutsch-Türkisch. Elmer ve Willi
10.69 € -5 % -
Superconductors at the Nanoscale
158.51 € -4 % -
Housing in Rural America
53.91 € -9 % -
The United States and the Developing Economies the United States and the Developing Economies
23.72 € -17 % -
PEINTURES ET STUCS D'ÉPOQUE ROMAINE, ÉTUDES TOICHOGRAPHOLOGIQUES
54.01 € -
Who Wrote The Book of Death?
15.74 € -7 % -
Quand les animaux nous font du bien
25.84 € -
Stars in His Eyes
24.63 € -9 % -
Metadona e os Tratamentos de SubstituiÇao, A
17.96 € -5 % -
Le second crime de la Dame en noir - roman
24.02 € -
Currywurstfuhrer Schleswig-Holstein
9.08 € -10 % -
Eighth Method
11.20 € -2 %
Darujte túto knihu ešte dnes
- Objednajte knihu a vyberte Zaslať ako darček.
- Obratom obdržíte darovací poukaz na knihu, ktorý môžete ihneď odovzdať obdarovanému.
- Knihu zašleme na adresu obdarovaného, o nič sa nestaráte.
Viac informácií o knihe Verification of Sequential and Concurrent Programs
Nákupom získate 195 bodov
Anotácia knihy
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.
Parametre knihy
Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development Algorithms & data structures
80.46 €
- Celý názov: Verification of Sequential and Concurrent Programs
- Autor: Ernst-Rudiger Olderog
- Jazyk: Angličtina
- Väzba: Brožovaná
- Počet strán: 502
- EAN: 9781447125136
- ISBN: 9781447125136
- ID: 08577018
- Nakladateľ: Springer London Ltd
- Hmotnosť: 746 g
- Rozmery: 235 × 156 × 28 mm
- Dátum vydania: 04. March 2012
Obľúbené z iného súdka
-
Computer Science Distilled
23.72 € -2 % -
Computer Graphics From Scratch
34.52 € -29 % -
From Mathematics to Generic Programming
32.60 € -14 % -
Algorithms Unlocked
34.12 € -
Essential Guide To Being Polish
17.15 € -14 % -
Algeria
11.80 € -13 % -
Walk in the Woods
7.87 € -25 % -
Via Ferratas of the Italian Dolomites: Vol 2
22.41 € -21 % -
Isle of Skye
8.67 € -15 % -
Dive the Red Sea
18.57 € -9 % -
Chamonix Mountain Adventures
21.70 € -21 % -
Probabilistic Data Structures and Algorithms for Big Data Applications
33.81 € -14 % -
Graph Algorithms
56.03 € -25 % -
Formal Concept Analysis
65.42 € -9 % -
Algorithms
72.38 € -14 % -
Alpine Ski Mountaineering Vol 1 - Western Alps
18.06 € -24 % -
Computer Science Distilled
30.89 € -2 % -
MMIX Supplement
28.26 € -2 % -
Walking in Italy's Stelvio National Park
27.55 € -
Manaslu
21.70 € -
Blue Guide Central Italy with Rome and Florence
25.43 € -9 % -
Algorithms in a Nutshell, 2e
58.05 € -
Kackar
33.81 € -
Camino de Santiago walking g. 42W Pyrenees to Santiago
22.20 € -
Blue Guide Sicily
24.12 € -9 % -
Walks Isle of Skye
4.23 € -21 % -
40 Algorithms Every Programmer Should Know
48.05 € -1 % -
Foundations of Multidimensional and Metric Data Structures
90.36 € -
Cumbria Way XT40
22.30 € -4 % -
Introduction to Algorithms
64.11 € -
Deep Learning with PyTorch
57.95 € -9 % -
Trekking in the Alps
21.60 € -25 % -
West Highland Way
22.30 € -4 % -
Mountains of Andorra
21.70 € -
Network Science
60.37 € -5 % -
Corsica 85 walks walking guide
18.06 € -15 % -
Walking in the Alps
26.44 € -24 % -
Algorithmic Puzzles
40.18 € -
Blue Guide Crete
18.16 € -25 % -
Walking on Samos
16.65 € -5 % -
Problem Solving with Algorithms and Data Structures Using Python
39.77 € -
Walking in the Caucasus, Georgia
17.66 € -4 % -
Blue Guide Greece
30.99 € -2 % -
Quantum Computing for Developers
54.11 € -
Purely Functional Data Structures
64.71 € -
Practical AI for Business Leaders, Product Managers, and Entrepreneurs
40.88 € -25 % -
Lisburn Street Map
14.02 € -11 % -
Aragon Cataluna - Michelin Regional Map 574
7.46 € -15 % -
Wild
25.03 € -25 %
O tomto obchode
Nákupný poradca
Prehľady
Knihy podľa jazyka
Osobný odber Bratislava a 12422 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
24 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)