005.12 / IN8S
SOFTWARE DEVELOPMENT METHODOLOGIES FOR DISTRIBUTED SYSTEMS
/ INTERNATIONAL WORKSHOP ON SOFTWARE DEVELOPMENT METHODOLOGIES FOR DISTRIBUTED SYSTEMS (1ST : 2003 A/2003 B : AMSTERDAM/BEIJING
.- Tsinghua Univ. Pr., Beijing, 2005
.- viii,178.
.- ( Sdm-Ds 1
ISBN: 7302111863
Subject Headings:
Computer Software -- Development;
Formal Methods (Computer Science);
Author Added Entry:
Zhiying,Zhou;
;
Tilley,Scott;
;
Copy Details:
Acc. No.: A154816, Full Call No.: 005.12 IN8S, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------