Reihe Texts 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 € Verification of Sequential and Concurrent Programs Krzysztof R. AptSpringer LondonSoftcover201285,59 € Verification of Sequential and Concurrent Programs Krzysztof R. AptSpringer LondonHardcover2009106,99 € Verification of Sequential and Concurrent Programs Krzysztof R. AptSpringer LondoneBook200985,59 €
