Applied Formal Methods - FM-Trends 98

Name: Applied Formal Methods - FM-Trends 98
Brand: Springer, Berlin
SKU: 9783540664628
Price: 1147 CZK
Availability: InStock

International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany. October 7-9, 1998. Proceedings

Autor: Dieter Hutter, Werner Stephan, Paolo Traverso

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer, Berlin

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

This book constitutes the thoroughly refereed post-workshop proceedings of the International Worksho...

Informace o knize

Autor

Dieter Hutter, Werner Stephan, Paolo Traverso

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

1999

Stránek

384

EAN

9783540664628

ISBN

3540664629

Enbook ID

01567090

Vydavatel

Springer, Berlin

Hmotnost

564

Rozměry

156 x 234 x 20

Kompletní popis

This book constitutes the thoroughly refereed post-workshop proceedings of the International Workshopon Current Trends in Applied Formal Methods, FM-Trends 98, held in Boppard, Germany, in October 1998.The book presents two invited papers, 14 regular papers, three application papers, and eight tool presentations. All these papers were carefully reviewed and revised for inclusion in the book. The papers address all current issues in applying formal methods during the different design stages of software systems for use in various application fields.

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

Applied Formal Methods - FM-Trends 98

International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany. October 7-9, 1998. Proceedings

Informace o knize

Kompletní popis

Mohlo by vás zajímat

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