Edinburgh LCF
A Mechanized Logic of Computation
ML.- PPLAMBDA.
CHF 29.90
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Milner, R. / Wadsworth, C. P.
- ISBN: 978-3-540-09724-2
- EAN: 9783540097242
- Produktnummer: 3246730
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 1979
- Seitenangabe: 172 S.
- Masse: H23.5 cm x B15.5 cm x D0.9 cm 271 g
- Auflage: 1979
- Abbildungen: Paperback
- Gewicht: 271
47 weitere Werke von M. Gordon:
Total Quality Process Control for Injection Molding
A Mechanized Logic of Computation
A Mechanized Logic of Computation
Ebook (PDF Format)
CHF 148.00
Higher Order Logic Theorem Proving and its Applications
A Mechanized Logic of Computation
A Mechanized Logic of Computation
Ebook (PDF Format)
CHF 192.20
The Denotational Description of Programming Languages
A Mechanized Logic of Computation
A Mechanized Logic of Computation
Ebook (PDF Format)
CHF 106.50
Radio Recombination Lines: 25 Years of Investigation
A Mechanized Logic of Computation
A Mechanized Logic of Computation
Ebook (PDF Format)
CHF 77.00
Bewertungen
Anmelden