Challenge Faves

Verification of Sequential and Concurrent Programs > Editions

by Krzysztof R. Apt First published July 9th 1991

Sort by
Format
Language
Editions
Showing 11-16 of 16
« previous 1 2 next »
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs (Paperback)
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)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Verification of Sequential and Concurrent Programs (Monographs in Computer Science)
Verification of Sequential and Concurrent Programs (Monographs in Computer Science)
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)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
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)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
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)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Verification of Sequential and Concurrent Programs (Texts & Monographs in Computer Science)
Verification of Sequential and Concurrent Programs (Texts & Monographs in Computer Science)
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)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
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)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
« previous 1 2 next »

per page