The book is currently out of stock

Modular specification and verification of object oriented programs

Authors

Péter Müller

Parameters

Categories

Computers, IT, Programming

Series: Lecture notes in computer science

Book purchase

Modular specification and verification of object oriented programs, Péter Müller

Language
Released: 2002

We’ll notify you via email once we track it down.

Payment methods