大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Sampaio 的图书(共4本)

Testing Techniques in Software Engineering [electronic resource] : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures

0
索取号：
作者：Borba、 Paulo.、Cavalcanti、 Ana.、Sampaio、 Augusto.、Woodcook、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Refinement Techniques in Software Engineering [electronic resource] : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures

0
索取号：
作者：Cavalcanti、 Ana.、Sampaio、 Augusto.、Woodcock、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Development of a Network-Centric RTOS [electronic resource] : Software Engineering for Reliable Embedded Systems

0
索取号：
作者：Verhulst、 Eric.、Boute、 Raymond T.、Faria、 Jos茅 Miguel Sampaio.、Sputh、 Bernhard H.C.、Mezhuyev、 Vitaliy.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US : Imprint: Springer, 2011.

An algebraic approach to compiler design

0
索取号：TP314/E995
作者：Sampaio、 Augusto.、Sampaio、 A.、
出版社：Singapore : World Scientific, c1997.