VU Boekhandel

Taxonomies for the Development and Verification of Digital S

Hoofdkenmerken

Auteur:	Anderson, Thomas
Redactie:	Springer-Verlag New York Inc.
Titel:	Taxonomies for the Development and Verification of Digital S
Uitgever:	Van Ditmar Boekenimport B.V.
ISBN:	9780387240190
ISBN boekversie:	9780387240213
Editie:	1. ed
Land van oorsprong:	United States
Prijs:	€ 128.09
Verschijningsdatum:	01-01-2005
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Categorie:	Techn. wetenschappen alg.
Dewey code:	621.3815

Technische kenmerken

Verschijningsvorm:	Hardback
Hoogte mm.:	235
Breedte mm.:	155

Inhoud:

Includes set of definitions for the terms and models used in the creation, refinement, and verification of complex systems from the conceptual level down to its implementation.