Abstract Computing Machines A Lambda Calculus Perspective
Κύριος συγγραφέας: | Kluge, William S. |
---|---|
Άλλοι συγγραφείς: | Brauer, W., Rozenberg, Grzegorz, Salomaa, A. |
Μορφή: | Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg
Springer-Verlag Berlin Heidelberg
2005
|
Σειρά: | Texts in Theoretical Computer Science, An EATCS Series
|
Θέματα: | |
Διαθέσιμο Online: | http://dx.doi.org/10.1007/b138965 |
Παρόμοια τεκμήρια
-
Semantics with Applications: An Appetizer
ανά: Nielson, Hanne Riis
Έκδοση: (2007) -
Abstraction, Refinement and Proof for Probabilistic Systems
ανά: McIver, Annabelle
Έκδοση: (2005) -
DRAWING PROGRAMS:The Theory and Practice of Schematic Functional Programming
ανά: Addis, Tom
Έκδοση: (2010) -
Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
ανά: Pnueli, Amir
Έκδοση: (2010) -
Software Engineering 3 Domains, Requirements, and Software Design
ανά: BjΓΈner, Dines
Έκδοση: (2006)