Plpv '09 Proceedings of the 2009 Acm Sigplan Workshop On Programming Languages Meets Program Verification, Savannah, Georgia, Usa, January 20, 2009
| Publisher: | Association for Computing Machinery |
| Published In: | 2009 |
| ISBN-10: | 1605583308 |
| ISBN-13: | 9781605583303 |
| Pages: | pp. vi + 82, Illus. |
The Title "Plpv '09 Proceedings of the 2009 Acm Sigplan Workshop On Programming Languages Meets Program Verification, Savannah, Georgia, Usa, January 20, 2009" was published in the year 2009. This book has total of pp. vi + 82 (Pages). The publisher of this title is Association for Computing Machinery. We have about 346 other great books from this publisher. Plpv '09 Proceedings of the 2009 Acm Sigplan Workshop On Programming Languages Meets Program Verification, Savannah, Georgia, Usa, January 20, 2009 is currently Not Available with us.You can enquire about this book and we will let you know the availability.