Skip to main content

CURRENTLY SOLD OUT

Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings by Hubert Garavel, John Hatcliff (Paperback, 2003)

About this product

About this product

Product Information

This book constitutes the refereed proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2003, held in Warsaw, Poland, in April 2003. The 43 revised full papers presented were carefully reviewed and selected from 160 submissions. The papers are organized in topical sections on bounded model checking and SAT-based methods, mu-calculus and temporal logics, verification of parameterized systems, abstractions and counterexamples, real-time and scheduling, security and cryptography, modules and compositional verification, symbolic state spaces and decision diagrams, performance and mobility, state space reductions, constraint solving and decision procedures, and testing and verification.

Product Identifiers

Publisher
Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
ISBN-13
9783540008989
eBay Product ID (ePID)
96053076

Product Key Features

Author
Hubert Garavel, John Hatcliff
Publication Name
Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
2003
Type
Textbook
Number of Pages
604 Pages

Dimensions

Item Height
233mm
Item Width
155mm
Volume
2619
Item Weight
1910g

Additional Product Features

Series Title
Lecture Notes in Computer Science
Editor
Hubert Garavel, John Hatcliff
Country/Region of Manufacture
Germany

Best Selling in Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University

Time Management by Peter Quarry (Paperback, 1986)
No ratings or reviews yet.
AU $16.99 New
---- Used
Complete Illustrated Encyclopedia of Dinosaurs & Prehistoric Creatures by Dixon Dougal (Paperback, 2014)
5.0 out of 5 stars based on 6 product ratings
AU $41.62 New
---- Used
Thunder of Hooves: A History of 12 Light Horse Regiment 1915-1919 by Kenneth Hollis (Hardcover, 2008)
No ratings or reviews yet.
AU $38.50 New
---- Used
Polyvagal Exercises for Safety and Connection: 50 Client-Centered Practices by Deb Dana (Paperback, 2020)
No ratings or reviews yet.
AU $53.52 New
AU $45.00 Used
On Killing: The Psychological Cost of Learning to Kill in War and Society by Dave Grossman (Paperback, 2009)
5.0 out of 5 stars based on 1 product rating
AU $45.18 New
AU $13.16 Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

It's Not You: How to Identify and Heal from NARCISSISTIC People by Ramani Durvas
AU $35.00
Trending at AU $38.02
Ford Falcon EF EL / Fairlane NF NL 1994 - 1998 Workshop Manual
AU $49.00
Trending at AU $60.96
Netter Atlas of Human Anatomy: Classic Regional Approach
AU $113.94
Trending at AU $125.35
Sapiens By Yuval Noah Harari
AU $19.00
Trending at AU $19.96
Silent Spring by Rachel Carson (English) Paperback Book
AU $27.35
Trending at AU $27.79
Bloodlands: THE book to help you understand today's Eastern Europe by Timothy Sn
AU $28.04
Trending at AU $29.62

You may also like

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- You may also like