Verification of Sequential and Concurrent Programs [E-Book] / by Krzysztof R. Apt, Frank S. Boer, Ernst-Rüdiger Olderog
Saved in:
Full text |
|
Personal Name(s): | Apt, Krzysztof R., author |
Boer, Frank S., author / Olderog, Ernst-Rüdiger, author | |
Imprint: |
London :
Springer-Verlag London,
2009.
|
Physical Description: |
online resource |
ISBN: |
9781848827455 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Texts in Computer Science,
|
Subject (LOC): |
Description not available. |