Verification of Sequential and Concurrent Programs
Checking for file health...
Author:Krzysztof R. Apt, Ernst-Rüdiger Olderog
Language:English
Release year:1991
File size:6.939 MB
Number of page:451
Language:English
Release year:1991
File size:6.939 MB
Number of page:451
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
Similar
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
