000 00337nam a2200133Ia 4500
008 231221s9999 xx 000 0 und d
020 _a978-1-84628-079-5
041 _aEnglish
100 _aJohn Cooke
245 0 _aConstructing Correct Software
260 _c2005
_bSpringer US
_aNew York
650 _aComputer Science
942 _cEB
999 _c218919
_d218919