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