Types for Proofs and Programs Stefano Berardi
53,49 €
Titel: Types for Proofs and Programs, Untertitel: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers, Einband: Taschenbuch, Autor: Stefano Berardi, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 424, Maße: 235x155x23 mm, Gewicht: 639 g, Verkäufer: buch-mimpf, Schlagworte: Informatik Sprache / Formale Sprache Applied Type System Coq Isabelle ML Self formal methods formal proof inductive types lambda calculus proof theory rewriting systems subtyping type systems types verification.
Jetzt bei Ebay:
