Semantics of Type Theory

Omslag van Semantics of Type Theory

T. Streicher

ISBN: 9781461267577

Paperback | 298 pagina's | 29 oktober 2012

€ 84.85

Types can be consid­ ered as weak specifications of programs and checking that a program is of a certain type provides a verification that a program satisfies such a weak speci­ fication.



Lees meer

Lees minder

Details

  • ISBN: 9781461267577
  • Auteur(s): T. Streicher, Streicher, Streicher, t.
  • Prijs: € 84.85
  • Verschenen: 29 oktober 2012
  • Druk: Softcover reprint of the original 1st ed. 1991e
  • Taal: Engels
  • Aantal pagina's: 298
  • Bindwijze: Paperback
  • Uitgever: Springer-Verlag New York Inc.
  • Gewicht: 479 g

Thema

Beschikbaar als

Meer inspiratie?

Zoek je meer boeken zoals Semantics of Type Theory? Bekijk dan hier een aantal andere boeken die door lezers van Semantics of Type Theory werden bekeken. Of ontdek hier de andere titels van T. Streicher.