Home > Authors > Jacob T. Schwartz > A survey of program proof technology

Buy at: Bookshop.org Amazon

A survey of program proof technology

Jacob T. Schwartz

Recent activity

Rate this book to see your activity here.

21 Books Similar to A survey of program proof technology by Jacob T. Schwartz

Bookscovery readers who liked A survey of program proof technology also like A design for optimizations of the bitvectoring class, Algebraic number theory and Algorithmic and geometric aspects of robotics. How many of these have you read?

A design for optimizations of the bitvectoring class by Jacob T. Schwartz

Cover of A design for optimizations of the bitvectoring class
Buy this book at:
Bookshop.org Amazon

Algebraic number theory by Jacob T. Schwartz

Cover of Algebraic number theory
Buy this book at:
Bookshop.org Amazon

Algorithmic and geometric aspects of robotics by Jacob T. Schwartz

Cover of Algorithmic and geometric aspects of robotics
Buy this book at:
Bookshop.org Amazon

Algorithmic and Geometric Aspects of Robotics (Routledge Revivals) by Jacob T. Schwartz

Cover of Algorithmic and Geometric Aspects of Robotics (Routledge Revivals)
Buy this book at:
Bookshop.org Amazon

A remark on nearly planar embeddings of small ultracomputers by Jacob T. Schwartz

Cover of A remark on nearly planar embeddings of small ultracomputers
Buy this book at:
Bookshop.org Amazon

A taxonomic table of parallel computers, based on 55 design by Jacob T. Schwartz

Cover of A taxonomic table of parallel computers, based on 55 design
Buy this book at:
Bookshop.org Amazon

Design alternatives for ultraperformance parallel computers by Jacob T. Schwartz

Cover of Design alternatives for ultraperformance parallel computers
Buy this book at:
Bookshop.org Amazon

Design for Optimizations of the Bitvectoring Class. by J. T. Schwartz and M. Sharir by Jacob T. Schwartz

Cover of Design for Optimizations of the Bitvectoring Class. by J. T. Schwartz and M. Sharir
Buy this book at:
Bookshop.org Amazon

Differential geometry and topology by Jacob T. Schwartz

Cover of Differential geometry and topology
Buy this book at:
Bookshop.org Amazon

Differential geometry and topology 1965-1966 by Jacob T. Schwartz

Cover of Differential geometry and topology 1965-1966
Buy this book at:
Bookshop.org Amazon

Discrete Thoughts by Mark Kac

Cover of Discrete Thoughts
Buy this book at:
Bookshop.org Amazon

Dreamworld': the use of computerized electronic multimedia display environments in education and art by Jacob T. Schwartz

Cover of Dreamworld': the use of computerized electronic multimedia display environments in education and art
Buy this book at:
Bookshop.org Amazon

Efficient motion planning algorithms in environments of bounded local complexity by Jacob T. Schwartz

Cover of Efficient motion planning algorithms in environments of bounded local complexity
Buy this book at:
Bookshop.org Amazon

Finding effective 'force-targets' for two-dimensional multifinger frictional grips by Jacob T. Schwartz

Cover of Finding effective 'force-targets' for two-dimensional multifinger frictional grips
Buy this book at:
Bookshop.org Amazon

General theory by Nelson James Dunford

Cover of General theory
Buy this book at:
Bookshop.org Amazon

Identification of Partially Obscured Objects in Two Dimensions by Matching of Noisy 'characteristic Curves, ' by Jacob T. Schwartz

Cover of Identification of Partially Obscured Objects in Two Dimensions by Matching of Noisy 'characteristic Curves, '
Buy this book at:
Bookshop.org Amazon

Identification of partially obscured objects in two dimensions by matching of noisy 'characteristic curves,' by Jacob T. Schwartz

Cover of Identification of partially obscured objects in two dimensions by matching of noisy 'characteristic curves,'
Buy this book at:
Bookshop.org Amazon

Internal, External, and Pragmatic Influences by Jacob T. Schwartz

Cover of Internal, External, and Pragmatic Influences
Buy this book at:
Bookshop.org Amazon

Internal, external, and pragmatic influences: technical perspectives in the development of programming languages by Jacob T. Schwartz

Cover of Internal, external, and pragmatic influences: technical perspectives in the development of programming languages
Buy this book at:
Bookshop.org Amazon

Introduction to Matrices and Vectors by Jacob T. Schwartz

Cover of Introduction to Matrices and Vectors
Buy this book at:
Bookshop.org Amazon

Lectures on the mathematical method in analytical economics by Jacob T. Schwartz

Cover of Lectures on the mathematical method in analytical economics
Buy this book at:
Bookshop.org Amazon

Comments and reviews of A survey of program proof technology

Please sign in to leave a comment