Plpv'07 Proceedings of the 2007 Workshop On Programming Languages Meets Program Verification, Freiburg, Germany, October 5, 2007
| Publisher: | Association for Computing Machinery |
| Published In: | 2007 |
| ISBN-10: | 1595936777 |
| ISBN-13: | 9781595936776 |
| Pages: | pp. vi + 69, Illus. |
The Title "Plpv'07 Proceedings of the 2007 Workshop On Programming Languages Meets Program Verification, Freiburg, Germany, October 5, 2007" was published in the year 2007. This book has total of pp. vi + 69 (Pages). The publisher of this title is Association for Computing Machinery. Plpv'07 Proceedings of the 2007 Workshop On Programming Languages Meets Program Verification, Freiburg, Germany, October 5, 2007 is currently Not Available with us.You can enquire about this book and we will let you know the availability.