Books > Computers & Technology

Formal Development of Programs and Proofs

Formal Development of Programs and Proofs

Product ID: 34607185 Condition: New

Sold Out

Buy in USA

Product Description

Formal Development of Programs and Proofs

Technical Specifications

Country

USA

Brand

Addison Wesley

Manufacturer

Addison-Wesley

Binding

Hardcover

EANs

9780201172379

You might also like

Selected Writings on Computing: A personal Perspective (Monographs in Computer Science)

A Discipline of Programming

Predicate Calculus and Program Semantics (Monographs in Computer Science)

Back to top