FM 99 - Formal Methods

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

Vazba: Brožovaná

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

Dostupnost: Skladem u dodavatele v malém množství

Odesíláme za 13-18 dnů

2 567 Kč

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

Informace o knize

Autor

Jeannette M. Wing, Jim Woodcook, Jim Davies

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

1999

Stránek

960

EAN

9783540665885

ISBN

9783540665885

Enbook ID

08908917

Vydavatel

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnost

1419

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

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

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také