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 edition 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
History
- Created July 7, 2019
- 5 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| August 15, 2024 | Edited by MARC Bot | import existing book |
| February 26, 2022 | Edited by ImportBot | import existing book |
| February 26, 2022 | Edited by ImportBot | import existing book |
| July 7, 2019 | Edited by MARC Bot | import existing book |
| July 7, 2019 | Created by MARC Bot | Imported from Internet Archive item record |