Plpv'07

Plpv'07 : Proceedings of the 2007 Workshop on Programming Languages Meets Program Verification, Freiburg, Germany, October 5, 2007

  • Hardback

Currently unavailable

We can notify you when this item is back in stock

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks

Product details