Logics and Models of Concurrent Systems by Krzysztof R. Apt (English) Paperback
126,24 €
By Krzysztof R. Apt. Edited by Krzysztof R. Apt. This characterization has been certified through soundness and completeness proofs [Apt 2, Gerth]. Author Krzysztof R. Apt. Logics and Models of Concurrent Systems.
Jetzt bei Ebay: