Lecture Notes in Computer Science

Modular Specification and Verification of Object-Oriented Programs by Peter Müller

Modular Specification and Verification of Object-Oriented Programs

Lecture Notes in Computer Science

Peter Müller

298 pages • missing pub info (editions)

nonfiction computer science health informative medium-paced