Modular specification and verification of object-oriented programs

Podrobná bibliografie

Hlavní autor:	Müller, Peter (Autor)
Médium:	Kniha
Jazyk:	angličtina
Vydáno:	Berlin : Springer, 2002
Edice:	Lecture notes in computer science ; v. 2262
ISBN:	3-540-43167-5
Témata:	objektově orientované programování software
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!