Proof in VDM: A Practitioners' Guide

Name: Proof in VDM: A Practitioners' Guide
Brand: Springer, Berlin
SKU: 9783540198130
Price: 50.11 EUR
Availability: InStock

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

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer, Berlin

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.11 €

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

Informácie o knihe

Autor

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

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

1993

Stránok

362

EAN

9783540198130

ISBN

354019813X

Enbook ID

06807609

Vydavateľ

Springer, Berlin

Hmotnosť

628

Rozmery

155 x 235 x 20

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Proof in VDM: A Practitioners' Guide

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež