Verification of Sequential and Concurrent Programs > Editions
by Krzysztof R. Apt First published July 9th 1991
Published December 5th 2012
by Springer
Paperback, 388 pages
Author(s):
ISBN:
9781475727159
(ISBN10: 1475727151)
ASIN:
1475727151
Edition language:
English
Average rating:
0.0
(0 ratings)
Published March 9th 2013
by Springer
Kindle Edition, 441 pages
Author(s):
ISBN:
9781475743760
(ISBN10: 1475743769)
ASIN:
B00FB52KBQ
Edition language:
English
Average rating:
0.0
(0 ratings)
Published March 9th 2013
by Springer
2, Kindle Edition, 364 pages
Author(s):
ISBN:
9781475727142
(ISBN10: 1475727143)
ASIN:
B000QXD7BU
Edition language:
English
Average rating:
0.0
(0 ratings)
Published March 14th 2012
by Springer
Softcover reprint of hardcover 3rd ed. 2009, Third Edition 2009, Paperback, 526 pages
Author(s):
ISBN:
9781447125136
(ISBN10: 1447125134)
ASIN:
1447125134
Edition language:
English
Average rating:
0.0
(0 ratings)
Published January 1st 1991
by Springer Verlag
Hardcover, 441 pages
Author(s):
ISBN:
9780387975320
(ISBN10: 0387975322)
ASIN:
0387975322
Edition language:
English
Average rating:
0.0
(0 ratings)
Published May 13th 1997
by Springer
2nd Edition 1997, Hardcover
Author(s):
ISBN:
9780387948966
(ISBN10: 0387948961)
ASIN:
0387948961
Edition language:
English
Average rating:
0.0
(0 ratings)
