Semantics, Logics, and Calculi Christian W. Probst
Titel: Semantics, Logics, and Calculi, Untertitel: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays, Einband: Taschenbuch, Autor: Christian W. Probst, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 356, Maße: 235x155x20 mm, Gewicht: 540 g, Verkäufer: buch-mimpf, Schlagworte: Calculi Labeled transition systems Logics Modal intersection types Probabilistic abstract interpretation Semantics Socio-technical Systems Staged synthesis Static Program Analysis Static Timing Analysis Structural operational semantics Top-down solving Trace semantics Two-level languages formal modeling game theory industrial control systems linear regression representation scheduling.
Jetzt bei Ebay:
