Handbook of Logic in Computer Science : Semantic Modelling, Hardcover by Abra...
426,69 €
Contents include models for concurrency, concrete process algebra, correspondence between operational and denotational semantics, effective algebras, and abstract interpretation.
Jetzt bei Ebay:
