Fler böcker inom
- Format
- E-bok
- Filformat
-
PDF med Adobe-kryptering
Om Adobe-krypteringPDF-böcker lämpar sig inte för läsning på små skärmar, t ex mobiler. - Nedladdning
- Kan laddas ned under 24 månader, dock max 6 gånger.
- Språk
- Engelska
- Antal sidor
- 594
- Utgivningsdatum
- 2009-09-24
- Förlag
- Cambridge University Press
- ISBN
- 9780511763564
From Semantics to Computer Science E-bok
Essays in Honour of Gilles Kahn
Finns även som
Kundrecensioner
Har du läst boken?
Sätt ditt betyg »
Fler böcker av författarna
-
Interactive Theorem Proving and Program Development
Yves Bertot, Pierre Casteran
-
Introduction to the Theory of Programming Languages
Gilles Dowek, Jean-Jacques Levy
-
Theorem Proving in Higher Order Logics
Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery
-
Logical Frameworks
Gerard Huet