Record 1 of 2
Record:   Prev Next
Author TACAS 2008 (14th : 2008 : Budapest, Hungary)
Title Tools and algorithms for the construction and analysis of systems : 14th international conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / C.R. Ramakrishnan, Jakob Rehof (eds.)
Imprint Berlin ; New York : Springer, 2008
book jacket
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Series  SerPro C2.4 T671 2008  LNCS 4963    LIB USE ONLY    30330000203344
Descript xvi, 516 p. : ill. ; 24 cm
Series Lecture notes in computer science, 0302-9743 ; 4963
Note Includes bibliographical references and index
Also available online
Subject System design -- Congresses
Computer software -- Development -- Congresses
Alt Author Ramakrishnan, C.R.
Rehof, Jakob
ETAPS 2008 (2008 : Budapest, Hungary)
Alt Title TACAS 2008
Record 1 of 2
Record:   Prev Next