Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas'98, Held as Part of the Joint European Conferen

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas'98, Held as Part of the Joint European Conferen

Steffen, Bernhard

Paperback

Series: Lecture Notes in Computer Science, Book 1384

General ComputersProgramming

ISBN10: 3540643567
ISBN13: 9783540643562
Publisher: Springer Nature
Published: Mar 18 1998
Pages: 461
Weight: 1.49
Height: 0.98 Width: 6.14 Depth: 9.21
Language: English
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.

Also in

General Computers

View All