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
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