Systems and Software Verification > Editions

by B. Berard First published January 1st 2001

Sort by
Format
Language
Editions
Showing 1-4 of 4
Systems and Software Verification: Model-Checking Techniques and Tools
Systems and Software Verification: Model-Checking Techniques and Tools (Hardcover)
Published June 20th 2001 by Springer
2001, Hardcover, 202 pages
Author(s):
ISBN:
9783540415237 (ISBN10: 3540415238)
ASIN:
3540415238
Edition language:
English
Average rating:
4.29 (7 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Systems and Software Verification: Model-Checking Techniques and Tools by B. Berard (2010-02-19)
Systems and Software Verification: Model-Checking Techniques and Tools by B. Berard (2010-02-19)
Published by Springer
Paperback, 0 pages
Author(s):
ASIN:
B01JXSGW1U
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Systems and Software Verification: Model-Checking Techniques and Tools
Systems and Software Verification: Model-Checking Techniques and Tools (Paperback)
Published March 12th 2014 by Springer
Paperback, 208 pages
Author(s):
ISBN:
9783662045596 (ISBN10: 3662045591)
ASIN:
3662045591
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Systems and Software Verification: Model-Checking Techniques and Tools
Systems and Software Verification: Model-Checking Techniques and Tools (Paperback)
Published December 15th 2010 by Springer
Softcover reprint of hardcover 1st ed. 2001, Paperback, 202 pages
Author(s):
ISBN:
9783642074783 (ISBN10: 3642074782)
ASIN:
3642074782
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page