Cover of A survey of program proof technology

Mark as

A survey of program proof technology

by Jacob T. Schwartz

Buy this book Review

More by Jacob T. Schwartz

Cover of A design for optimizations of the bitvectoring class

Cover of Algebraic number theory

Cover of Algorithmic and geometric aspects of robotics

Cover of Algorithmic and Geometric Aspects of Robotics (Routledge Revivals)

Cover of A remark on nearly planar embeddings of small ultracomputers

Cover of A taxonomic table of parallel computers, based on 55 design

Cover of Design alternatives for ultraperformance parallel computers

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

Cover of Differential geometry and topology

Cover of Differential geometry and topology 1965-1966

Cover of Discrete Thoughts

Cover of Dreamworld': the use of computerized electronic multimedia display environments in education and art

Cover of Efficient motion planning algorithms in environments of bounded local complexity

Cover of Finding effective 'force-targets' for two-dimensional multifinger frictional grips

Cover of General theory

Cover of Identification of Partially Obscured Objects in Two Dimensions by Matching of Noisy 'characteristic Curves, '

Cover of Identification of partially obscured objects in two dimensions by matching of noisy 'characteristic curves,'

Cover of Internal, External, and Pragmatic Influences

Cover of Internal, external, and pragmatic influences: technical perspectives in the development of programming languages

Cover of Introduction to Matrices and Vectors

Cover of Lectures on the mathematical method in analytical economics

Recent activity

Rate this book to see your activity here.

Comments and reviews

Please sign in to leave a comment