Constraint-Based Verification > Editions
by Jun Yuan First published September 1st 2005
Published January 13th 2006
by Springer
2006, 2006 ed., Hardcover, 266 pages
Author(s):
ISBN:
9780387259475
(ISBN10: 0387259473)
ASIN:
0387259473
Edition language:
English
Average rating:
0.0
(0 ratings)
Published April 21st 2006
by Springer
Kindle Edition
Author(s):
ASIN:
B0CTHR5FTG
Edition language:
English
Average rating:
0.0
(0 ratings)
Published
by Springer-Verlag New York, LLC
Hardcover, 0 pages
Author(s):
ASIN:
B0086XFOG8
Average rating:
0.0
(0 ratings)
Published
by Springer
Hardcover, 0 pages
Author(s):
ASIN:
B01JXRYKMY
Average rating:
0.0
(0 ratings)
Published October 29th 2010
by Springer
Softcover reprint of hardcover 1st ed. 2006, Paperback, 266 pages
Author(s):
ISBN:
9781441938527
(ISBN10: 1441938524)
ASIN:
1441938524
Edition language:
English
Average rating:
0.0
(0 ratings)
