Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings (Lecture Notes in Computer Science, 4905)

ISBN-13: 9783540781622

ISBN-10: 3540781625

Authors: Francesco Logozzo; Leonore D. Zuck; Doron A. Peled

Edition: 2008

Binding: Paperback

Publisher: Springer

Published: 2008-02-26

Sell this book           Buy or Rent?