Modular specification and verification of object-oriented programs View on Open Library

Modular specification and verification of object-oriented programs

by Peter Müller

No reviews yet
First published: 2002 1 language
Subjects
Object-oriented programming (Computer science) Modular programming Computer software Development

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Peter Müller

Physical geography of the global environment

Physical geography of the global environ...

WiMAX Security and Quality of Service

WiMAX Security and Quality of Service

Security in Wireless Networks and Systems

Security in Wireless Networks and System...

De Fictionibus Tam Hominis Quam Iuris

De Fictionibus Tam Hominis Quam Iuris

Bayesian Inference for Gene Expression and Proteomics

Bayesian Inference for Gene Expression a...

Nonparametric Bayesian Inference in Biostatistics

Nonparametric Bayesian Inference in Bios...

You Might Also Like

More in Object-oriented prog...
C++

C++

Paul J. Deitel
Java software solutions

Java software solutions

Lewis, John
Learning Perl

Learning Perl

Randal L. Schwartz
JavaScript

JavaScript

David Flanagan
Objects first with Java

Objects first with Java

David J. Barnes
C how to program

C how to program

Harvey M. Deitel