An edition of Tools and algorithms for the construction and analysis of systems
(2003)
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 TACAS 2003 (2003 Warsaw, Poland)
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Showing 2 featured editions. View all 2 editions?
| Edition | Availability |
|---|---|
1
Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science)
May 7, 2003, Springer
Paperback
in English
- 1 edition
3540008985 9783540008989
|
zzzz
Libraries near you:
WorldCat
|
2
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
2003, Springer
in English
3540008985 9783540008989
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Published in
Berlin, New York
Edition Notes
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| December 24, 2021 | Edited by ImportBot | import existing book |
| December 8, 2020 | Edited by MARC Bot | import existing book |
| January 23, 2010 | Edited by WorkBot | add more information to works |
| December 11, 2009 | Created by WorkBot | add works page |