Foster, Harry Assertion-based design / Harry Foster, Adam Krolnik, David Lacey - 2a. ed. - Boston : Kluwer Academic, c2004 - 390 p.; 25 cm. Compra PROMEI ISBN: 1402080271 Subjects--Topical Terms: LENGUAJE DE PROGRAMACIONSOFTWARE Universal Decimal Class. No.: 681.3.06