FM 99 - Formal Methods

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

Język:

Oprawa: Miękka

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

Dostępność: Dostępna u dostawcy w małych ilościach

Wysyłamy za 13-18 dni

472.40 zł

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

Informacje o książce

Autor

Jeannette M. Wing, Jim Woodcook, Jim Davies

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

1999

strony

960

EAN

9783540665885

ISBN

9783540665885

Enbook ID

08908917

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

1419

Wymiary

156 x 234 x 48

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również