TY  - BOOK
AU  - Foster,Harry
AU  - Krolnik,Adam
AU  - Lacey,David
TI  - Assertion-based design
SN  - 1402080271
PY  - 2004///
CY  - Boston
PB  - Kluwer Academic
KW  - LENGUAJE DE PROGRAMACION
KW  - LEMB
KW  - SOFTWARE
N1  - Compra PROMEI
ER  -