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..
-
Foundations for Designing User-Cente...
Ritter, Frank E.; Baxter, Gordon D.; Churchill, Elizabeth F.
-
Forensic Computing
Sammes, Anthony J.; Jenkinson, Brian
-
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
-
Bridging the Gap to University Mathe...
Hurst, Edward; Gould, Martin
-
Mathematical Writing
Vivaldi, Franco
-
Writing for Computer Science
Zobel, Justin
-
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
-
An Introduction to Statistical Modeli...
Coles, Stuart
-
Logic and Structure
Dalen, Dirk van
-
Dynamics and Control of Mechanical S...
He, Wei; Ge, Shuzhi Sam; How, Bernard Voon Ee; Choo, Yoo Sang
