000 00420nam a2200133Ia 4500
008 231221s9999 xx 000 0 und d
020 _a978-1-84628-107-5
041 _aEnglish
100 _aJohn Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat, Marcel Verhoef
245 0 _aValidated Designs for Object-oriented Systems
260 _c2005
_bSpringer US
_aNew York
650 _aComputer Science
942 _cEB
999 _c218929
_d218929