Teaching and learning formal methods
Άλλοι συγγραφείς: | Dean, C. Neville, Hinchey, Michael G. |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
London
Academic Press
1996
|
Σειρά: | Academic Press international series in formal methods
|
Θέματα: |
Παρόμοια τεκμήρια
-
A first course in formal logic and its applications in computer science
ανά: Dowsing, R.D
Έκδοση: (1986) -
Computing in Horn clause theories
ανά: Padawitz, Peter
Έκδοση: (1988) -
The resolution calculus /
ανά: Leitsch, Alexander
Έκδοση: (1997) -
Arithmetic complexity of computations
ανά: Winograd, Shmuel
Έκδοση: (1980) -
Computability and complexity from a programming perpective
ανά: Jones, Neil D.
Έκδοση: (1997)