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

Transitions and Trees: An Introduction to Structural Operational Semantics

Autor: Hans HÃ¼ttel, Hans Hüttel

paperback
Categorie: Structuri de date Algoritmi &
Categorie: Programare funcțională
Categorie: Programarea & Scripting Limbi: General
Categorie: Teoria matematică a Computation
CAMBRIDGE UNIVERSITY PRESS
Preţul cărţii noastre: 66.80 EUR
(Preţ reactualizat 21.08.2025)

Livrare gratuită în România Mai mult

Comentariile cititorului şi recenziile cărţilor: Amazon

Comandă acum

Cărţi din categoria Teoria matematică a Computation

Mai mult decât cărţi

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