• Verification of Sequential and...

Treffer: Verification of Sequential and Concurrent Programs

Title:
Verification of Sequential and Concurrent Programs
Authors:
Apt, Krzysztof R., Olderog, Ernst-Rüdiger
Source:
ISBN 9781475727166 9781475727142.
Publisher Information:
Springer New York
Publication Year:
1997
Document Type:
Buch book
Language:
unknown
ISBN:
978-1-4757-2716-6
978-1-4757-2714-2
1-4757-2716-X
1-4757-2714-3
DOI:
10.1007/978-1-4757-2714-2
DOI:
10.1007/978-1-4757-2714-2.pdf
Availability:
http://dx.doi.org/10.1007/978-1-4757-2714-2
http://link.springer.com/content/pdf/10.1007/978-1-4757-2714-2.pdf
http://link.springer.com/content/pdf/10.1007/978-1-4757-2714-2
Rights:
http://www.springer.com/tdm
Accession Number:
edsbas.57CC0B19
Database:
BASE