Bok Transitions and Trees (Hans HÃ¼ttel, Hans Hüttel) - An Introduction to Structural Operational Semantics

Transitions and Trees: An Introduction to Structural Operational Semantics

Författare: Hans HÃ¼ttel, Hans Hüttel

paperback
Kategori: Algoritmer & datastrukturer
Kategori: Funktionell programmering
Kategori: Programmering och skriptspråk: Allmänt
Kategori: Matematiska teorin för beräkning
CAMBRIDGE UNIVERSITY PRESS
Vårt bokpris: 66.80 EUR
(pris uppdaterat den 21.08.2025)

Gratis leverans till Sverige mer

Läsarens kommentar och bokrecensioner: Amazon

Se och beställ

Böcker från kategori Matematiska teorin för beräkning

Mer än böcker

Scientific Computing Pris: 93.72 EUR Visa bokdetaljer	Physically-Based Modeling for Computer Graphics: A Structured Approach: A Structured Approach Pris: 72.34 EUR Visa bokdetaljer
Life-Cycle Savings and Public Policy: A Cross-National Study of Six Countries: A Cross-National Study of Six Countries Pris: 143.09 EUR Visa bokdetaljer	Numerical Time-Dependent Partial Differential Equations for Scientists and Engineers Pris: 147.24 EUR Visa bokdetaljer
Numerical Methods for Linear Control Systems Pris: 93.82 EUR Visa bokdetaljer	Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science Pris: 61.78 EUR Visa bokdetaljer
Computing With Mathematica Pris: 103.59 EUR Visa bokdetaljer	Handbook of Mathematical Formulas and Integrals Pris: 52.60 EUR Visa bokdetaljer
Elementary Number Theory with Applications, Student Solutions Manual Pris: 48.88 EUR Visa bokdetaljer	Probability Models for Computer Science Pris: 106.89 EUR Visa bokdetaljer
Hidden Semi-Markov Models: Theory, Algorithms and Applications Pris: 34.06 EUR Visa bokdetaljer	Uncertain Rule-Based Fuzzy Logic Systems: Introduction and New Directions Pris: 113.46 EUR Visa bokdetaljer
Array Signal Processing: Concepts and Techniques Pris: 80.77 EUR Visa bokdetaljer	Discrete Mathematics for Computer Scientists Pris: 169.39 EUR Visa bokdetaljer
Automata Computability and Complexity: Theory and Applications Pris: 251.62 EUR Visa bokdetaljer	Elements of the Theory of Computation Pris: 226.14 EUR Visa bokdetaljer
Graph Drawing: Algorithms for the Visualization of Graphs Pris: 195.70 EUR Visa bokdetaljer	Fundamentals of Algorithmics: United States Edition Pris: 249.98 EUR Visa bokdetaljer
The Essence of Discrete Mathematics Pris: 59.19 EUR Visa bokdetaljer	Bayesian Methods for Hackers: Probabilistic Programming and Bayesian Inference Pris: 48.50 EUR Visa bokdetaljer