Applied Formal Methods - FM-Trends 98

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

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

Szerző: Dieter Hutter, Werner Stephan, Paolo Traverso

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 305 Ft

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

Információk a könyvről

Szerző

Dieter Hutter, Werner Stephan, Paolo Traverso

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

1999

oldal

384

EAN

9783540664628

ISBN

3540664629

Enbook ID

01567090

Kiadó

Springer, Berlin

Súly

564

Méretek

156 x 234 x 20

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Applied Formal Methods - FM-Trends 98

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

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták