Code: 06807609

Proof in VDM: A Practitioners' Guide

Name: Proof in VDM: A Practitioners' Guide
Brand: Springer, Berlin
SKU: 06807609
Price: 51.56 EUR
Availability: InStock
Author: Juan C. Bicarregui
ISBN: 9783540198130

by Juan C. Bicarregui, John Fitzgerald, Peter A. Lindsay, Richard Moore, Brian Ritchie

§In addition, the book contains a directory of axioms and formally proved theorems.

Language: English
Binding: Paperback
Number of pages: 362
Publisher: Springer, Berlin, 1993
More about this

51.56 €

RRP: 55.84 €

You save 4.27 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Harry Potter: Postcard Coloring Book
9.98 € -24 %
Buy
Compound Effect
18.46 € -23 %
Buy
Syrup: A Yuri Anthology Vol. 3
10.59 € -25 %
Buy
Bajki terapeutyczne
7.76 € -10 %
Buy
Slowenien - Kroatien - Bosnien-Herzegowina Strassenkarte 1:500 000
11.50 € -16 %
Buy
Measurement in Psychology
5.14 € -86 %
Buy
Mötley Crüe, los trapos sucios : confesiones del grupo de rock más infame del mundo
28.35 € -7 %
Buy
EROTICA UNIVER. I SC-TRILINGUE
25.22 €
Buy
Vivienne Westwood
23 € -25 %
Pre-order
German 20mm Flak in World War II
8.37 € -25 %
Buy
Post-war Canadian Pacific Liners
21.18 € -25 %
Pre-order
A Study In Scarlet: A Sherlock Holmes Novel
8.06 €
Buy
Finance décentralisée 2022-2023
11.29 € -25 %
Buy
C. Olevianus Und Z. Ursinus: Leben Und Ausgewählte Schriften. Nach Handschriftlichen Und Gleichzeitigen Quellen
29.97 € -40 %
Buy
Ce que vous trouverez caché dans mon oreille
25.22 €
Buy
Sleep Deprivation
253.82 €
Buy
Peut-on eduquer l'intelligence?
60.55 €
Buy
Hydraulic Engineering of Dams
239.19 €
Buy
La selección de personal en la organización : fases del proceso y técnicas efectivas
13.92 €
Buy
Aliens
24.92 € -22 %
Buy
Hyperbolic Differential Polynomials
87.49 €
Buy
Síndrome de alienación parental
26.23 €
Buy
Les secrets oubliés - Rituels pour mon âme
17.35 €
Buy
Interviews With History: Cleopatra VII, The Last Pharoah
9.48 €
Buy
Stations of the Cross in Jerusalem
13.92 € -9 %
Buy
Vuelo del Quetzal / The Quetzal's Journey
17.55 € -10 %
Buy
Ustojchivoe razvitie jenergetiki: teoriya, metodologiya, strategii
46.21 € -14 %
Buy
Easy Disney Favorites
24.31 €
Buy
C4-Hydrocarbons and Derivatives
51.56 € -7 %
Buy
Tableaux Elementaires de la Langue Latine
13.01 € -1 %
Buy
Banco de Calibracion de Caudalimetros Liquidos
29.36 € -14 %
Buy
Our Wild Swan And Other Pets (1884)
19.27 € -2 %
Buy
Chinese Journalist
66.70 €
Buy
120 recettes gourmandes pour lutter contre le cholestérol
16.14 €
Buy
Wolfsburg: Stadt Am Wendepunkt
57.72 € -7 %
Buy
Secret Transfusions
9.98 € -24 %
Buy
Equations Diophantiennes de Ramanujan-Nagell Et de Nagell-Ljunggren
93.95 € -14 %
Buy
Managing and Communicating Knowledge
68.82 € -3 %
Buy
Scientific Realism and the Rationality of Science
224.15 €
Buy
Jesus Was Not Crucified When as has Been Taught
14.83 €
Buy
The Irish Village Murder: A Torrey Tunet Mystery
16.14 € -25 %
Buy
Splitting Pennies
34.71 € -25 %
Buy
Pro Vocal Men's Edition
23.10 €
Buy
Unlock Your Resilience
25.93 €
Buy
Reading Planet - I Can See a Bat - Pink A: Galaxy
6.75 €
Buy
Performing Gender and Comedy: Theories, Texts and Contexts
56.81 €
Buy
Bugapalooza: 24 Coloring Pages
11.50 € -6 %
Buy
Constructing China's Jerusalem
23.71 € -12 %
Buy
Constructing Death
58.93 €
Buy

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.

Book gift voucher sample Read more

More about Proof in VDM: A Practitioners' Guide

Book details
Synopsis
Trending among others

You get 125 loyalty points

Book synopsis

§In addition, the book contains a directory of axioms and formally proved theorems.

Book details

Book category Books in English Computing & information technology Computer programming / software development

51.56 €

Full title: Proof in VDM: A Practitioners' Guide
Author: Juan C. Bicarregui, John Fitzgerald, Peter A. Lindsay, Richard Moore, Brian Ritchie
Language: English
Binding: Paperback
Number of pages: 362
EAN: 9783540198130
ISBN: 354019813X
ID: 06807609
Publisher: Springer, Berlin
Weight: 628 g
Dimensions: 235 × 155 × 20 mm
Date of publishing: 01. December 1993