Tools and Algorithms for the Construction and Analysis of Systems

Name: Tools and Algorithms for the Construction and Analysis of Systems
Brand: Springer, Berlin
SKU: 9783540627906
Price: 18092 HUF
Availability: InStock

Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997, Proceedings

Szerző: Ed Brinksma

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

18 092 Ft

This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algo...

Információk a könyvről

Szerző

Ed Brinksma

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

1997

oldal

437

EAN

9783540627906

ISBN

3540627901

Enbook ID

05274687

Kiadó

Springer, Berlin

Súly

580

Méretek

156 x 234 x 23

Teljes leírás

This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '97, held in Enschede, The Netherlands, in April 1997.The book presents 20 revised full papers and 5 tool demonstrations carefully selected out of 54 submissions; also included are two extended abstracts and a full paper corresponding to invited talks. The papers are organized in topical sections on space reduction techniques, tool demonstrations, logical techniques, verification support, specification and analysis, and theorem proving, model checking and applications.

É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

Tools and Algorithms for the Construction and Analysis of Systems

Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997, 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