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