Verification of Sequential and Concurrent Programs > Editions

Verification of Sequential and Concurrent Programs (Paperback)

Published May 3rd 2010 by Springer

Paperback, 528 pages

less detail

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Published October 5th 2009 by Springer

3rd ed. 2009, Corr. 3rd printing 2010, Third Edition 2009, Hardcover, 526 pages

less detail

Programmverifikation: Sequentielle, parallele und verteilte Programme (Springer-Lehrbuch) (German Edition)

Published March 21st 1994 by Springer

1994, Paperback

less detail

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Published September 18th 2009 by Springer

3, Kindle Edition, 526 pages

less detail

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Published September 18th 2009 by Springer

3, Kindle Edition

less detail

Verification of Sequential and Concurrent Programs (Texts in Computer Science) 3rd 2009. Corr edition by Apt, Krzysztof, de Boer, Frank S., Olderog, Ernst-Rüdiger (2010) Hardcover

Published by Springer

3rd 2009. Corr, Hardcover, 0 pages

less detail

Verification of Sequential and Concurrent Programs (Texts in Computer Science) by Krzysztof Apt (2010-11-11)

Published by Springer

Hardcover, 0 pages

less detail

Verification of Sequential and Concurrent Programs (Texts in Computer Science) by Apt, Krzysztof, de Boer, Frank S., Olderog, Ernst-Rüdiger (2010) Hardcover

Published by Springer

Unknown Binding, 0 pages

less detail

Verification of Sequential and Concurrent Programs (Paperback)

Published March 13th 2013 by Springer

Paperback, 464 pages

less detail

Verification of sequential and concurrent programs (Texts and monographs in computer science)

Published January 1st 1991 by Springer-Verlag

Hardcover, 441 pages

less detail