Apt, Krzysztof R.; Boer, Frank S. de; Olderog, Ernst-Rüdiger <br/><br/>
Verification of Sequential and Concurrent Programs 
Krzysztof R.; Boer, Frank S. de; Olderog, Ernst-Rüdiger Apt 
 - 3. ed. 
 - Dordrecht; Heidelberg; London; New York  Springer  2009 
 - 502 S. 
<br/><br/><label>ISBN: </label>9781848827448  74,85 € 
<br/><br/><label>Subjects--Index Terms: </label>Sequential