Proof in VDM: A Practitioners' Guide

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

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

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten alacsony példányszámban

Küldés 13-18 napon belül

20 565 Ft

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

Információk a könyvről

Szerző

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

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

1993

oldal

362

EAN

9783540198130

ISBN

354019813X

Enbook ID

06807609

Kiadó

Springer, Berlin

Súly

628

Méretek

155 x 235 x 20

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Proof in VDM: A Practitioners' Guide

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták