The spine of software A mathematical introduction to the semantics of computer programs
Κύριος συγγραφέας: | Baber, Robert L. (Συγγραφέας) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Chichester
John Wiley & Sons
c1987
|
Θέματα: |
Παρόμοια τεκμήρια
-
Efficient Graph Rewriting and its Implementation
ανά: Dorr, Heiko
Έκδοση: (1995) -
Temporal logics and their applications
Έκδοση: (1987) -
A mathematical introduction to logic /
ανά: Enderton, Herbert B.
Έκδοση: (2001) -
Introduction to mathematical proofs a transition
ανά: Roberts, Charles E.
Έκδοση: (2010) -
Introduction to mathematical logic
ανά: Mendelson, Elliott
Έκδοση: (1987)