An edition of Tools and Algorithms for the Construction and Analysis of Systems
(2011)
Tools and Algorithms for the Construction and Analysis of Systems
17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
by Parosh Aziz Abdulla
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Logic design, Computer networks, Software engineering, Computer science, Artificial intelligence, System design, System analysis, Programming Techniques, Programming Languages, Compilers, Interpreters, Computer Communication Networks, Logics and Meanings of Programs, Artificial Intelligence (incl. Robotics)| Edition | Availability |
|---|---|
1
Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
2011, Springer Berlin Heidelberg
electronic resource :
in English
3642198341 9783642198342
|
aaaa
|
Book Details
Edition Notes
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| August 15, 2024 | Edited by MARC Bot | import existing book |
| February 26, 2022 | Edited by ImportBot | import existing book |
| July 7, 2019 | Created by MARC Bot | import new book |