Types for Proofs and Programs Stefano Berardi
53,49 €
Titel: Types for Proofs and Programs, Untertitel: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers, Einband: Taschenbuch, Autor: Stefano Berardi, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 332, Maße: 235x155x19 mm, Gewicht: 505 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Informatik / Allgemeines Answer Set Programming Coq Formal Specification Logic Programming Quicksort Scheme Simulation abstract mathematics complexity formal proofs formal semantics formal verification programming language proving recursion.
Jetzt bei Ebay:
