Record Details     « New Search       Brief Record Full Record MARC Record     Bibliographic Data Control Number UPD-00000177130 Date and Time of Latest Transaction 20090716221434.0 General Information 080209s1995 gw a b 101 0 eng International Standard Book Number 3540606300 Cataloging Source DENG Language Code eng Local Call Number QA 76.9 S88 T66 1995 Title Statement Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers / E. Brinksma ... [et al.], (eds.) Physical Description 289 p. : ill Series Statement/Added Entry - Title Lecture notes in computer science ; 1019 Subject Added Entry - Topical Term System design -- Congresses   Computer software -- Development -- Congresses   Electronic data processing -- Distributed processing -- Congress Added Entry - Personal Name Brinksma, Ed. Collection Category FO Format Monograph Location UP DENG-II QA 76.9 S88 T66 1995 UDEGB0015423 Regular Circulation E-ESEP-1827 Textual Physical Form Designator Book           Physical Location University of the Philippines Diliman: College of Engineering Library II QA 76.9 S88 T66 1995           Digital Copy Not Available          Add to Book Cart  |   Download MARC