FM 99 - Formal Methods

Name: FM 99 - Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540665885
Price: 106.26 EUR
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

Jazyk:

Väzba: Brožovaná

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

Dostupnosť: Skladom u dodávateľa v malom množstve

Odosielame za 11-15 dní

106.26 €

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

Informácie o knihe

Autor

Jeannette M. Wing, Jim Woodcook, Jim Davies

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

1999

Stránok

960

EAN

9783540665885

ISBN

9783540665885

Enbook ID

08908917

Vydavateľ

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnosť

1419

Rozmery

156 x 234 x 48

Kompletný popis

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.

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

FM 99 - Formal Methods

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

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ž