Tools and Algorithms for the Construction and Analysis of Systems 1

Data & IT

Tools and Algorithms for the Construction and Analysis of Systems

Name: Tools and Algorithms for the Construction and Analysis of Systems
Price: 729 SEK
Availability: InStock
Author: Bernhard Steffen
ISBN: 9783540643562

Bernhard Steffen

Pocket

729:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

461 sidor
1998

This book constitutes the refereed proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'98, held in conjunction with ETAPS in Lisbon, Portugal, in March/April 1998. The 28 revised full papers presented together with an invited talk were selected from a total of 78 submissions. The volume is devoted to conceptual foundations, development, and applications of tools and algorithms for the specification, verification, analysis, and construction of software and hardware systems. The papers are organized in sections on model checking, design and architecture, various applications, fielded applications, verification of real-time systems, mixed analysis techniques, and case studies and experience.

Författare: Bernhard Steffen
Illustratör: Illustrations
Format: Pocket/Paperback
ISBN: 9783540643562
Språk: Engelska
Antal sidor: 461
Utgivningsdatum: 1998-03-01
Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K