Modular specification and verification of object-oriented programs
by Peter Müller
Object-oriented programming (Computer science)Modular programmingComputer softwareDevelopment
Writing a summary for young readers…
For young readers
Book data: Open Library