Liknande böcker

Correct-Program Technology/Extensibility of Verifiers. Two Papers on Pro...
Bok av Prof Martin Davis
Outline of Sir William Hamilton's Philosophy, a Textbook for Students;
Bok av John Clark Murray
On the Case of the Piano Movers' Problems
Bok av Jacob T Schwartz
On the 'Piano Movers' Problem II. General Techniques for Computing Topol...
Bok av Jacob T Schwartz
Metaphysical Inquiry Into the Method, Objects and Result of Ancient and...
Bok av Isaac Preston Cory
Motion Planning and Related Geometric Algorithms in Robotics
Bok av Jacob T Schwartz
Finding Effective 'Force-Targets' for Two-Dimensional Multifinger Fricti...
Bok av Jacob T Schwartz
A Program Review and Client Satisfaction Survey of the Montana Public Em...
Bok av John Steven Fitzpatrick

A Survey of Program Proof Technology

Bok av Jacob T Schwartz