TY - BOOK AU - Vitek,Jan ED - TOOLS (Conference) ED - SpringerLink (Online service) TI - Objects, models, components, patterns: 48th international conference, TOOLS 2010, Malaga, Spain, June 28, July 2, 2010 : proceedings SN - 9783642139536 AV - QA76.64 .T66 2010 U1 - 005.117 22 PY - 2010/// CY - Berlin, Heidelberg PB - Springer-Verlag Berlin Heidelberg KW - Object-oriented programming (Computer science) KW - Congresses KW - Object-oriented methods (Computer science) KW - Subroutines (Computer programs) KW - Logics and Meanings of Programs KW - Mathematical Logic and Formal Languages UR - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-3-642-13953-6 ER -