Handbuch der Logik in der Informatik: Band 4. Semantische Modellierung von S. Abrams
150,30 €
Series Handbook of Logic in Computer Science. Short Title HANDBK OF LOGIC IN COMPUTER SC. 1: Models for concurrency2: Concrete process alegbra3: Correspondence between operational and denotational semantics: the full abstraction problem for PCF4: Effective algebras5: Abstract interpretation: a semantics based tool for program analysis.
Jetzt bei Ebay:
