Coverart for item
The Resource 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.), (electronic resource)

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.), (electronic resource)

Label
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
Title
Tools and algorithms for the construction and analysis of systems
Title remainder
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
Statement of responsibility
C.R. Ramakrishnan, Jakob Rehof (eds.)
Title variation
  • Joint European Conferences on Theory and Practice of Software
  • European Joint Conferences on Theory and Practice of Software 2008
Creator
Contributor
Subject
Genre
Language
eng
Cataloging source
DLC
Dewey number
005.1
LC call number
QA76.9.S88
LC item number
T33 2008
http://bibfra.me/vocab/lite/meetingDate
2008
http://bibfra.me/vocab/lite/meetingName
TACAS 2008
http://library.link/vocab/relatedWorkOrContributorDate
2008
http://library.link/vocab/relatedWorkOrContributorName
  • Ramakrishnan, C. R
  • Rehof, Jakob
  • ETAPS 2008
Series statement
Lecture notes in computer science
Series volume
4963
http://library.link/vocab/subjectName
  • System design
  • Computer software
Label
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.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000320413
Dimensions
unknown
Isbn
9783540787990
Isbn Type
(softcover : alk. paper)
Lccn
2008923178
Specific material designation
remote
System control number
(WaSeSS)bookssj0000320413
Label
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.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000320413
Dimensions
unknown
Isbn
9783540787990
Isbn Type
(softcover : alk. paper)
Lccn
2008923178
Specific material designation
remote
System control number
(WaSeSS)bookssj0000320413

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...