Search Results facets
Search Results List
0
selected titles
Reached limit!
Clear basket
Search result number | Book jacket cover art | Item details and Actions | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
61. |
|
Time for Verification Essays in Memory of Amir Pnueli
![]()
|
||||||||||
62. |
|
Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers
![]()
|
||||||||||
63. |
|
Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers
![]()
|
||||||||||
64. |
|
Rapid Integration of Software Engineering Techniques First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papers
![]()
|
||||||||||
65. |
|
Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings
![]()
|
||||||||||
66. |
|
In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman
![]()
|
||||||||||
67. |
|
Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings
![]()
|
||||||||||
68. |
|
Model Checking Software 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
![]()
|
||||||||||
69. |
|
Specification of Software Systems
![]()
|
||||||||||
70. |
|
Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings
![]()
|