Software Foundations 1 LOGICAL FOUNDATIONS

Main
Software Foundations 1 LOGICAL...

Software Foundations 1 LOGICAL FOUNDATIONS

Benjamin C. Pierce, Arthur Azevedo de Amorim, Chris Casinghino, Marco Gaboardi, Michael Greenberg, Cătălin Hriţcu, Vilhelm Sjöberg, Brent Yorgey

0 / 0

ఈ పుస్తకం ఎంతగా నచ్చింది?

దింపుకొన్న ఫైల్ నాణ్యత ఏమిటి?

పుస్తక నాణ్యత అంచనా వేయడాలనుకుంటే దీన్ని దింపుకోండి

దింపుకొన్న ఫైళ్ళ నాణ్యత ఏమిటి?

సంవత్సరం:

2020

భాష:

english

పుస్తక శ్రేణి:

Software Foundations

ఫైల్:

PDF, 1.30 MB

IPFS:

,

english, 2020

ఆన్‌లైన్‌లో చదవండి

దింపుకోలు (pdf, 1.30 MB)

కి మార్పిడి జరుగుతూ ఉంది.

కి మార్పిడి విఫలమైంది!

మీకు ఆసక్తిగా కనిపించ వచ్చు

Glynn Winskel — The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)

Shriram Krishnamurthi — Programming Languages Application and Interpretation

Chlipala A — Certified programming with dependent types

Benjamin C. Pierce, Arthur Azevedo de Amorim, Chris Casinghino, Marco Gaboardi, Michael Greenberg, Cătălin Hriţcu, Vilhelm Sjöberg, Andrew Tolmach, Brent Yorgey — Software Foundations vol 2 Programming Language Foundations

Andrew W. Appel — Software Foundations Vol 3 Verified Functional Algorithms

Leonidas, Lampropoulos Benjamin, C. Pierce — Software Foundations Vol 4 QuickChick

Kim B. Bruce — Foundations of Object-Oriented Languages: Types and Semantics

Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen — Principles of Model Checking

Benjamin C. Pierce — Advanced topics in types and programming languages

Benjamin C. Pierce — Basic Category Theory for Computer Scientists

Wiredu, Gamel O. — Global Software Engineering: Virtualization and Coordination

John C. Reynolds — Theories of Programming Languages

John C. Mitchell, Krzysztof Apt — Concepts in Programming Languages

Benjamin, Arthur;Bowden, Leon;Pólya, George — Mathematical Methods in Science

Robert Harper — Practical Foundations For Programming Languages

陈钢张静 — OCaml语言编程基础教程

Matt Kaufmann Lawrence C. Paulson (Eds.) — Interactive Theorem Proving(2010)

it-ebooks — Software Foundations

Chlipala, Adam — Certified Programming With Dependent Types

Крупский В.Н., Кузнецов С.Л. — Практикум по математической логике.

Adam Chlipala — Certified Programming with Dependent Types (draft 2015)

Gert Smolka, Chad E. Brown — Introduction to Computational Logic (SS 2014) [lecture notes]

Daniel R. Licata, Guillaume Brunerie (auth.), Georges Gonthier, Michael Norrish (eds.) — Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

Jeremy Avigad, Assia Mahboubi — Interactive Theorem Proving

Behzad Akbarpour, Sofiène Tahar (auth.), Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (eds.) — Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings

Robin Adams (auth.), Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.) — Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Andreas Abel (auth.), Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith (eds.) — Types for Proofs and Programs: International Workshop, TYPES’99 Lökeberg, Sweden, June 12–16, 1999 Selected Papers

Tobias Nipkow, Markus Wenzel, Lawrence C. Paulson (eds.) — Isabelle/HOL: A Proof Assistant for Higher-Order Logic

Ricky Butler (auth.), Victor A. Carreño, César A. Muñoz, Sofiène Tahar (eds.) — Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings

Andrea Asperti, Cosimo Laneve (auth.), Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.) — Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings

René Ahn (auth.), Peter Dybjer, Bengt Nordström, Jan Smith (eds.) — Types for Proofs and Programs: International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers

Ofer Arieli, Arnon Avron (auth.), Dirk van Dalen, Marc Bezem (eds.) — Computer Science Logic: 10th International Workshop, CSL '96 Annual Conference of the EACSL Utrecht, The Netherlands, September 21–27, 1996 Selected Papers

Nachum Dershowitz, Georg Moser (auth.), Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.) — Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Robin Adams, Zhaohui Luo (auth.), Thorsten Altenkirch, Conor McBride (eds.) — Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

Klaus Schneider & Jens Brandt — LNCS 4732 - Theorem Proving in Higher Order Logics (Frontmatter Pages)

Davide Ancona, Giovanni Lagorio, Elena Zucca (auth.), Stefano Berardi, Ferruccio Damiani, Ugo de’Liguoro (eds.) — Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Anne Baanen, Alexander Bentkamp, Jasmin Blanchette, Johannes Hölzl, Jannis Limperg — The Hitchhiker’s Guide to Logical Verification

Gerwin Klein (auth.), Matt Kaufmann, Lawrence C. Paulson (eds.) — Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

Greg Morrisett (auth.), Chris Hawblitzel, Dale Miller (eds.) — Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings

Dominique Bolignano (auth.), Sandrine Blazy, Christine Paulin-Mohring, David Pichardie (eds.) — Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings

郁文生 — 公理化集合论机器证明系统

顾明,Yves Bertot,Pierre Casteran — 交互式定理证明与程序开发：Coq归纳构造演算的艺术

కీలక పదబంధాలు