The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Ernst-RüdigerOlderog Books

Results for Ernst-RüdigerOlderog

Showing 1 to 1 of 1 results
Verification of Sequential and Concurrent Programs: Texts in Computer Science, Third Edition Verification of Sequential and Concurrent Programs: Texts in Computer Science, Third Edition by Krzysztof R. Apt, Amir Pnueli, Frank S. de Boer, Ernst-Rüdiger Olderog

Verification of Sequential and Concurrent Programs: Texts in Computer Science, Third Edition

by Krzysztof R. Apt, Amir Pnueli, Frank S. de Boer, Ernst-Rüdiger Olderog


ISBN 13: 9781447125136

Format: Paperback (528 pages)
Publisher: Springer
Published: 14 Mar 2012

Save for later

 
New : $84.18  
New : $84.18