Semantics with Applications: An Appetizer
966 Kč
Sleva až 70% u třetiny knih
This book provides a rigorous introduction to the formal semantics of programming languages. Coverage includes the fundamental ideas behind these approaches, stresses their relationship by formulating and proving the relevant theorems, and illustrates the applications of semantics in computer science.
| Autor: | Nielson, Flemming; Nielson, Hanne Riis; Hankin, Chris |
| Nakladatel: | Springer London Ltd |
| ISBN: | 9781846286919 |
| Rok vydání: | 2007 |
| Jazyk : | Angličtina |
| Vazba: | Paperback / softback |
| Počet stran: | 274 |
Mohlo by se vám také líbit..
-
Forensic Computing
Sammes, Anthony J.; Jenkinson, Brian
-
Principles of Digital Image Processing
Burger, Wilhelm
-
Ontological Engineering
Fernández López, Sonsoles
-
Propositional and Predicate Calculus...
Goldrei, Derek
-
A Modern Introduction to Probability ...
Dekking, F. M; Kraaikamp, C; Lopuhaa, H P; Meester, L E
-
Mathematical Writing
Vivaldi, Franco
-
Writing for Computer Science
Zobel, Justin
-
Model Predictive Control
Camacho, Eduardo F.; Bordons Alba, Carlos
-
Basic Linear Algebra
Blyth, T. S.; Robertson, E. F.
-
Further Linear Algebra
Blyth, T. S.; Robertson, E. F.
-
A Modern Introduction to Probability ...
Dekking, F. M; Kraaikamp, C; Lopuhaa, H P; Meester, L E
-
Logic and Structure
Dalen, Dirk van
-
Dynamics and Control of Mechanical S...
He, Wei; Ge, Shuzhi Sam; How, Bernard Voon Ee; Choo, Yoo Sang
-
Social Learning Systems and Communit...
-
An Introduction to Statistical Modeli...
Coles, Stuart