Constraint-Based Verification > Editions
by Jun Yuan First published September 1st 2005
Published January 13th 2006
by Springer
2006, 2006 ed., Hardcover, 266 pages
Published April 21st 2006
by Springer
Kindle Edition
Published
by Springer-Verlag New York, LLC
Hardcover, 0 pages
Published
by Springer
Hardcover, 0 pages
Published October 29th 2010
by Springer
Softcover reprint of hardcover 1st ed. 2006, Paperback, 266 pages