Semantics with Applications: An Appetizer
Κύριος συγγραφέας: | Nielson, Hanne Riis |
---|---|
Άλλοι συγγραφείς: | Nielson, Flemming |
Μορφή: | Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
London
Springer-Verlag London Limited
2007
|
Σειρά: | Undergraduate Topics in Computer Science
|
Θέματα: | |
Διαθέσιμο Online: | http://dx.doi.org/10.1007/978-1-84628-692-6 |
Παρόμοια τεκμήρια
-
Abstract Computing Machines A Lambda Calculus Perspective
ανά: Kluge, William S.
Έκδοση: (2005) -
DRAWING PROGRAMS:The Theory and Practice of Schematic Functional Programming
ανά: Addis, Tom
Έκδοση: (2010) -
Semantics with Applications: An Appetizer
ανά: Nielson, Hanne Riis, κ.ά.
Έκδοση: (2007) -
Abstraction, Refinement and Proof for Probabilistic Systems
ανά: McIver, Annabelle
Έκδοση: (2005) -
Software Engineering 3 Domains, Requirements, and Software Design
ανά: BjΓΈner, Dines
Έκδοση: (2006)