Número de Cutter-SanbornM958mEntrada «Mull» → 958 · marca de obra “m”

Modular specification and verification of object-oriented programs

Autor	Peter Müller
Editorial	Springer
Fecha de publicación	2002
Lugar	Berlin, Heidelberg
Idioma	inglés
Formato	[electronic resource] /
OCLC	49279864
Serie	LNCS -- 2262 · Lecture notes in computer science -- 2262
Número de Cutter	`M958m`

Modular specification and verification of object-oriented programs (2002) | Cutter Number