Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers
Preis: 64.15 EUR
Types for Proofs and Programs kaufen bei Libri.de – Bücher
Kategorie: Bücher > Ratgeber > Computer Internet
Artikelnummer: 5713886
Keywords: PROGRAMMIEREN (EDV) ,TYPUS – TYPIK ( TYP ) ,TYPIK ( TYP – TYPUS ) ,TYP – TYPUS – TYPIK ,INDUCTIVE TYPES ,LAMBDA CALCULUS ,PROGRAM SEMANTICS ,PROGRAMMING LOGIC ,PROGRAMMING THEORY ,PROOF THEORY ,REWRITING SYSTEMS ,SUBTYPING ,TYPE SYSTEMS ,TYPES
EAN: 9783540140313
Kommentar schreiben