Contact
DMCA
Privacy Policy
Filepdf
Toggle navigation
Categories
Genre
Best Book 2021
Best Young Adult Books
Best Sci-Fict & Fantasy
NY Times Best Books
Best Romance Novel
Best self-published Amazon
Best Kindle & Prime Amazon
100 Books to Read
100 Child Books to Read
Art
Biography
Business
Childrens
Classics
Comics
Contemporary
Manga
Memoir
Music
Mystery
Non Fiction
Poetry
Psychology
Cookbooks
Religion
Crime
Romance
Science
Fantasy
Science Fiction
Fiction
Graphic Novels
Sport
History
Thriller
Horror
Travel
Humor and Comedy
Young Adult
More Than
12,0657,538
Books Collection
Home
New release
Popular Books
Most Read
Popular Author
Tech Formal Books Categories
home
Tech Formal Books Categories
Tech Formal Categories Books List
Tech Formal Books Categories
View More
Formal Methods For Interactive Systems (Computers and People Series)
By:
Alan Dix
View More
Computation and Reasoning: A Type Theory for Computer Science (International Series of Monographs on Computer Science)
By:
Zhaohui Luo
View More
System Architecture: An Ordinary Engineering Discipline (Hardcover)
By:
Wolfgang J. Paul
View More
A Primer in Petri Net Design (Springer Compass International)
By:
Wolfgang Reisig
View More
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
By:
Willem-Paul de Roever
View More
Tree Automata. Techniques and Applications (Unknown Binding)
By:
Hubert Comon
View More
Algebraic Semantics of Imperative Programs (Foundations of Computing)
By:
Joseph A. Goguen
View More
Specification and Transformation of Programs: A Formal Approach to Software Development (Texts & Monographs in Computer Science)
By:
Helmut A. Partsch
View More
Computing in Systems Described by Equations (Lecture Notes in Computer Science, 58)
By:
Michael P. O'Donnell
View More
Equational Logic As a Programming Language (Mit Pr Series in the Foundations of Computing)
By:
Michael J. O'Donnell
View More
Larch: Languages and Tools for Formal Specification (Monographs in Computer Science)
By:
John V. Guttag
View More
Predicate Calculus and Program Semantics (Monographs in Computer Science)
By:
Edsger W.; Scholten Dijkstra
View More
A Method of Programming (Paperback)
By:
Edsger W. Dijkstra
View More
Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science) (Lecture Notes in Computer Science (828))
By:
Lawrence C. Paulson
View More
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, 2283)
By:
Tobias Nipkow
View More
Formal Methods for Concurrency (Paperback)
By:
Clive Fencott
View More
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach (Hardcover)
By:
David M. Russinoff
View More
Bounded Incremental Computation (Lecture Notes in Computer Science, 1089)
By:
G. Ramalingam
View More
Introduction to Static Analysis: An Abstract Interpretation Perspective (Hardcover)
By:
Xavier Rival
View More
Purely Functional Data Structures (Volume 0)
By:
Chris Okasaki
View More
Computational Category Theory (Prentice-hall International Series in Computer Science)
By:
D.E. Rydeheard
View More
Qualified Types: Theory and Practice (Distinguished Dissertations in Computer Science, Series Number 9)
By:
Mark P. Jones
View More
Project Factorisations in Partial Evaluation (Distinguished Dissertations in Computer Science, Series Number 1)
By:
John Launchbury
View More
Formal Specification and Software Development (Mathematics and Its Applications)
By:
Dines Bjørner
View More
Semantics Engineering with PLT Redex (Hardcover)
By:
Matthias Felleisen
View More
Constructive foundations for functional languages (Paperback)
By:
Raymond Turner
View More
Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78)
By:
M. Gordon
View More
Program Logics for Certified Compilers (Hardcover)
By:
Andrew W. Appel
View More
Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design (Foundations of Computing)
By:
Carl A. Gunter
View More
VLISP A Verified Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995 (Paperback)
By:
Joshua D. Guttman
View More
The Optimal Implementation of Functional Programming Languages (Cambridge Tracts in Theoretical Computer Science, Series Number 45)
By:
Andrea Asperti
View More
Practical Foundations of Mathematics (Cambridge Studies in Advanced Mathematics, Series Number 59)
By:
Paul Taylor
View More
Logic, Proof and Computation (Paperback)
By:
Mark Tarver
View More
Proofs and Computations (Perspectives in Logic)
By:
Helmut Schwichtenberg
View More
Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science, Series Number 34)
By:
Flemming Nielson
View More
Categories for Types (Cambridge Mathematical Textbooks) (Volume 0)
By:
Roy L. Crole
View More
Control Flow Semantics (Foundations of Computing)
By:
Jaco De Bakker
View More
Category Theory for Programmers (ebook)
By:
Bartosz Milewski
View More
Linear Logic (Unknown Binding)
By:
Jean-Yves Girard
View More
Formal Methods: An Appetizer (Hardcover)
By:
Flemming Nielson
View More
Term Rewriting and All That (Volume 0)
By:
Franz Baader
View More
Handbook of Automated Reasoning (Hardcover)
By:
J. Alan Robinson
View More
Programming in Martin-Löf's Type Theory: An Introduction (International Series of Monographs on Computer Science)
By:
Bengt Nordström
View More
Introduction to Lattices and Order (Paperback)
By:
B.A. Davey
View More
Semantics of Programming Languages (Prentice Hall International Series in Computer Science)
By:
R.D. Tennent
View More
Term Rewriting Systems (Cambridge Tracts in Theoretical Computer Science, Series Number 55)
By:
Terese
View More
Unifying Theories of Programming (Hardcover)
By:
C.A.R. Hoare
View More
Object-Oriented Programming A Unified Foundation (Progress in Theoretical Computer Science)
By:
Giuseppe Castagna
