Formal Methods
The applied mathematics of computer system engineering used to specify and model the behavior of a system and to mathematically verify that the system design and implementation satisfy system functional and safety properties.
All categoriesBooks under this sub-category (23 books)
A Practical Theory of Programming, Second Edition
Post date: 28 Nov 2004Describes theory of programming as something that will provide a much greater degree of precision by providing a method of calculation to software engineers.
Publication date: 31 Dec 2004
A Practical Theory of Programming, Second Edition
Post date: 28 Nov 2004Describes theory of programming as something that will provide a much greater degree of precision by providing a method of calculation to software engineers.
Publication date: 31 Dec 2004
Post date: 12 Mar 2007
Gives students a thorough understanding of the central techniques in automated theorem proving, enabling them to transfer methods to different logics or applications.
Gives students a thorough understanding of the central techniques in automated theorem proving, enabling them to transfer methods to different logics or applications.
Publication date: 20 Jan 2004
Post date: 12 Mar 2007Gives students a thorough understanding of the central techniques in automated theorem proving, enabling them to transfer methods to different logics or applications.
Publication date: 20 Jan 2004
Case Studies in Systematic Software Development
Post date: 18 Jun 2005Covers the case studies on the application of the most widely known and used formal methods in software development, called the Vienna Development Method or VDM.
Case Studies in Systematic Software Development
Post date: 18 Jun 2005Covers the case studies on the application of the most widely known and used formal methods in software development, called the Vienna Development Method or VDM.
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Post date: 13 Nov 2016This textbook covers practical engineering with the Coq proof assistant. The focus is on building programs with proofs of correctness, using dependent types and scripted proof automation.
Publisher:
The MIT Press
Publication date: 30 Jun 2016
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported
Document Type: Textbook
Publication date: 30 Jun 2016
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported
Document Type: Textbook
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Post date: 13 Nov 2016This textbook covers practical engineering with the Coq proof assistant. The focus is on building programs with proofs of correctness, using dependent types and scripted proof automation.
Publisher:
The MIT Press
Publication date: 30 Jun 2016
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported Document Type: Textbook
Publication date: 30 Jun 2016
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported Document Type: Textbook
Communicating Sequential Processes
Post date: 07 Nov 2005This is an excellent introduction to Communicating Sequential Processes, or CSP, a language for describing patterns of interaction, and also to its mathematical theory.
Communicating Sequential Processes
Post date: 07 Nov 2005This is an excellent introduction to Communicating Sequential Processes, or CSP, a language for describing patterns of interaction, and also to its mathematical theory.
Data, Syntax and Semantics - An Introduction to Modelling Programming Languages
Post date: 22 Sep 2006An introduction to the mathematical theory of programming languages. Readers will need a first course in elementary set theory, logic and imperative programming as the background knowledge.
Publication date: 01 Jan 2006
Data, Syntax and Semantics - An Introduction to Modelling Programming Languages
Post date: 22 Sep 2006An introduction to the mathematical theory of programming languages. Readers will need a first course in elementary set theory, logic and imperative programming as the background knowledge.
Publication date: 01 Jan 2006
Denotational Semantics: A Methodology for Language Development
Post date: 12 Oct 2006Introduces a methodology for giving mathematical meaning to programming languages and systems. Presents the topic from an engineering viewpoint, emphasizing the descriptional and implementational aspects.
Publisher:
McGraw-Hill
Publication date: 31 Dec 1986
License: Creative Commons Attribution 2.0 Generic
Document Type: Book
Publication date: 31 Dec 1986
License: Creative Commons Attribution 2.0 Generic
Document Type: Book
Denotational Semantics: A Methodology for Language Development
Post date: 12 Oct 2006Introduces a methodology for giving mathematical meaning to programming languages and systems. Presents the topic from an engineering viewpoint, emphasizing the descriptional and implementational aspects.
Publisher:
McGraw-Hill
Publication date: 31 Dec 1986
License: Creative Commons Attribution 2.0 Generic Document Type: Book
Publication date: 31 Dec 1986
License: Creative Commons Attribution 2.0 Generic Document Type: Book
forall x: An Introduction to Formal Logic
Post date: 06 May 2017An open access introductory textbook in formal logic. It covers translation, proofs, and formal semantics for sentential and predicate logic.
Publisher:
Lulu.com
Publication date: 06 Jan 2012
License: Creative Commons Attribution-ShareAlike 3.0 Unported
Document Type: Textbook
Publication date: 06 Jan 2012
License: Creative Commons Attribution-ShareAlike 3.0 Unported
Document Type: Textbook
forall x: An Introduction to Formal Logic
Post date: 06 May 2017An open access introductory textbook in formal logic. It covers translation, proofs, and formal semantics for sentential and predicate logic.
Publisher:
Lulu.com
Publication date: 06 Jan 2012
License: Creative Commons Attribution-ShareAlike 3.0 Unported Document Type: Textbook
Publication date: 06 Jan 2012
License: Creative Commons Attribution-ShareAlike 3.0 Unported Document Type: Textbook
Formal Specification and Documentation using Z: A Case Study Approach
Post date: 11 Jun 2005Presents a pragmatic view of the use of formal methods, that it can still be beneficial (and is much more cost effective in general) than attempting proofs in many cases.
Formal Specification and Documentation using Z: A Case Study Approach
Post date: 11 Jun 2005Presents a pragmatic view of the use of formal methods, that it can still be beneficial (and is much more cost effective in general) than attempting proofs in many cases.
Foundations of Computation, Second Edition
Post date: 28 Oct 2016A free textbook for a one-semester course in theoretical computer science. It has been used for several years in a course at Hobart and William Smith Colleges. The course has no prerequisites other than introductory computer programming.
Publication date: 31 Dec 2011
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported
Document Type: Textbook
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported
Document Type: Textbook
Foundations of Computation, Second Edition
Post date: 28 Oct 2016A free textbook for a one-semester course in theoretical computer science. It has been used for several years in a course at Hobart and William Smith Colleges. The course has no prerequisites other than introductory computer programming.
Publication date: 31 Dec 2011
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported Document Type: Textbook
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported Document Type: Textbook
How to Think About Algorithms - Loop Invariants and Recursion
Post date: 09 Oct 2006These notes teach the students to think abstractly about algorithms and about the key algorithmic techniques used to develop them.
How to Think About Algorithms - Loop Invariants and Recursion
Post date: 09 Oct 2006These notes teach the students to think abstractly about algorithms and about the key algorithmic techniques used to develop them.
Introduction to Programming Languages
Post date: 24 Oct 2004An undergraduate text in the theory of programming languages.
Publication date: 15 Jul 2004
License: Creative Commons Attribution 2.0 Generic
Document Type: Textbook
License: Creative Commons Attribution 2.0 Generic
Document Type: Textbook
Introduction to Programming Languages
Post date: 24 Oct 2004An undergraduate text in the theory of programming languages.
Publication date: 15 Jul 2004
License: Creative Commons Attribution 2.0 Generic Document Type: Textbook
License: Creative Commons Attribution 2.0 Generic Document Type: Textbook
Lecture Notes on Semantics of Programming Languages
Post date: 12 Dec 2006Introduces the structural, operational approach to programming language semantics.
Publication date: 01 Jan 2002
Document Type: Lecture Notes
Document Type: Lecture Notes
Lecture Notes on Semantics of Programming Languages
Post date: 12 Dec 2006Introduces the structural, operational approach to programming language semantics.
Publication date: 01 Jan 2002
Document Type: Lecture Notes
Document Type: Lecture Notes
Principles of Programming Languages
Post date: 29 Aug 2016An introduction to the study of programming languages that evolved from lecture notes used in a programming languages course for students at Johns Hopkins University.
Publication date: 16 Jan 2020
License: Creative Commons Attribution-ShareAlike 3.0 United States
Document Type: Book
License: Creative Commons Attribution-ShareAlike 3.0 United States
Document Type: Book
Principles of Programming Languages
Post date: 29 Aug 2016An introduction to the study of programming languages that evolved from lecture notes used in a programming languages course for students at Johns Hopkins University.
Publication date: 16 Jan 2020
License: Creative Commons Attribution-ShareAlike 3.0 United States Document Type: Book
License: Creative Commons Attribution-ShareAlike 3.0 United States Document Type: Book
Programming from Specifications
Post date: 26 Nov 2004Presents a rigorous treatment of most elementary program-development constructs, including iteration, recursion, procedures, parameters, modules and data refinement.
Programming from Specifications
Post date: 26 Nov 2004Presents a rigorous treatment of most elementary program-development constructs, including iteration, recursion, procedures, parameters, modules and data refinement.
Book Categories
Computer Science
Introduction to Computer Science
Introduction to Computer Programming
Algorithms and Data Structures
Artificial Intelligence
Computer Vision
Machine Learning
Neural Networks
Game Development and Multimedia
Data Communication and Networks
Coding Theory
Computer Security
Information Security
Cryptography
Information Theory
Computer Organization and Architecture
Operating Systems
Image Processing
Parallel Computing
Concurrent Programming
Relational Database
Document-oriented Database
Data Mining
Big Data
Data Science
Digital Libraries
Compiler Design and Construction
Functional Programming
Logic Programming
Object Oriented Programming
Formal Methods
Software Engineering
Agile Software Development
Information Systems
Geographic Information System (GIS)
Mathematics
Mathematics
Algebra
Abstract Algebra
Linear Algebra
Number Theory
Numerical Methods
Precalculus
Calculus
Differential Equations
Category Theory
Proofs
Discrete Mathematics
Theory of Computation
Graph Theory
Real Analysis
Complex Analysis
Probability
Statistics
Game Theory
Queueing Theory
Operations Research
Computer Aided Mathematics
Supporting Fields
Web Design and Development
Mobile App Design and Development
System Administration
Cloud Computing
Electric Circuits
Embedded System
Signal Processing
Integration and Automation
Network Science
Project Management
Operating System
Programming/Scripting
Ada
Assembly
C / C++
Common Lisp
Forth
Java
JavaScript
Lua
Rexx
Microsoft .NET
Perl
PHP
R
Python
Rebol
Ruby
Scheme
Tcl/Tk
Miscellaneous
Most Popular Books
429,620
Introduction to Objective Caml
244,679
Notes for the Course of Algorithms
235,434
Lessons In Electric Circuits
208,459
[No longer available] A Beginners C++
162,532
Introduction to Object-Oriented Programming Using C++
160,469
A Short Introduction to Operating Systems
159,812
Data Structures and Algorithms with Object-Oriented Design Patterns in C++
155,623
C Programming Tutorial (K&R version 4)
153,190
Computer Organization and Design Fundamentals
148,130
Programming The Nintendo Game Boy Advance: The Unofficial Guide
Sponsors