Specification Case Studies in RAISE - Formal Approaches to Computing and Information Technology (FACIT) - H Dang Van - Bøker - Springer London Ltd - 9781852333591 - 8. februar 2002
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

H Dang Van
Specification Case Studies in RAISE - Formal Approaches to Computing and Information Technology (FACIT) 2002 edition

Pris
NOK 979

Bestillingsvarer

Forventes levert 9. - 17. sep
Få varsel om nye utgivelser fra H Dang Van

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Ikke vurdert ennå

This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications.

424 pages, biography

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 8. februar 2002
ISBN13 9781852333591
Utgivere Springer London Ltd
Antall sider 405
Mål 155 × 235 × 21 mm   ·   589 g
Språk Engelsk  
Redaktør Dang Van, Hung
Redaktør George, Chris
Redaktør Janowski, Tomasz
Redaktør Moore, Richard

Mer fra samme **utgiver**

Se alt med H Dang Van ( f.eks. Pocketbok )