Home > Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings
Book Informaton
Author
Javier Esparza; Rupak Majumdar
Series
Lecture Notes in Computer Science
Volume
6015
Year of Publication
2010
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin; New York
Pages
XVI, 468
Language
en
ISBN
9783642120015, 9783642120022, 3642120016
ARI Id
1664716346297
This page has been accessed 7 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 39 entries
Chapters/Headings | Author(s) | Pages | Info |
1-1 | |||
2-22 | |||
23-37 | |||
38-52 | |||
53-68 | |||
69-83 | |||
84-98 | |||
99-113 | |||
114-128 | |||
129-144 | |||
145-149 | |||
150-153 | |||
154-157 | |||
158-174 | |||
175-189 | |||
190-204 | |||
205-220 | |||
221-235 | |||
236-250 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 39 entries