FM 99 - Formal Methods

Name: FM 99 - Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540665885
Price: 582.08 RON
Availability: InStock

World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings

Autor: Jeannette M. Wing, Jim Woodcook, Jim Davies

Limbă:

Legare: Carte broșată

Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Disponibilitate: În depozitul extern în cantități mici

Expediem în 13-18 zile

582.08 lei

The second of two volumes of proceedings of the World Congress on Formal Methods in the Development...

Informații despre carte

Autor

Jeannette M. Wing, Jim Woodcook, Jim Davies

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

1999

Pagini

960

EAN

9783540665885

ISBN

9783540665885

Enbook ID

08908917

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

1419

Dimensiuni

156 x 234 x 48

Descriere completă

The second of two volumes of proceedings of the World Congress on Formal Methods in the Development of Computing Systems (FM '99). Topical sections include program verification, integration of notation and techniques, open information systems, co-design, refinement, safety and avionics.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

FM 99 - Formal Methods

World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și