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
Powered by AI (Beta)
Loading...

Description

Software systems play an increasingly important role in modern societies. Smart cards for personal identi?cation, e-banking, software-controlled me- cal tools, airbags in cars, and autopilots for aircraft control are only some examples that illust...

Read more

Community Reviews

Loading...

Content Warnings

Loading...