Reihe Texts in Computer ScienceKrzysztof R. Apt ×Springer US × Verification of Sequential and Concurrent Programs Krzysztof R. AptSpringer USeBook201385,59 € Verification of Sequential and Concurrent Programs Krzysztof R. AptSpringer USeBook201385,59 €
