Coverart for item
The Resource Tools and algorithms for the construction and analysis of systems : 4th international conference, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings, Bernhard Steffen, (ed.), (electronic resource)

Tools and algorithms for the construction and analysis of systems : 4th international conference, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings, Bernhard Steffen, (ed.), (electronic resource)

Label
Tools and algorithms for the construction and analysis of systems : 4th international conference, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
Title
Tools and algorithms for the construction and analysis of systems
Title remainder
4th international conference, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
Statement of responsibility
Bernhard Steffen, (ed.)
Creator
Contributor
Subject
Language
eng
Cataloging source
DLC
Dewey number
004.2/1
LC call number
QA76.9.S88
LC item number
T33 1998
http://bibfra.me/vocab/lite/meetingDate
1998
http://bibfra.me/vocab/lite/meetingName
TACAS '98
http://library.link/vocab/relatedWorkOrContributorDate
1998
http://library.link/vocab/relatedWorkOrContributorName
  • Steffen, Bernhard
  • ETAPS '98
Series statement
Lecture notes in computer science
Series volume
1384
http://library.link/vocab/subjectName
  • System design
  • Computer software
Label
Tools and algorithms for the construction and analysis of systems : 4th international conference, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings, Bernhard Steffen, (ed.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000327277
Dimensions
unknown
Isbn
9783540643562
Isbn Type
(softcover : alk. paper)
Lccn
98004243
Specific material designation
remote
System control number
(WaSeSS)bookssj0000327277
Label
Tools and algorithms for the construction and analysis of systems : 4th international conference, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings, Bernhard Steffen, (ed.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000327277
Dimensions
unknown
Isbn
9783540643562
Isbn Type
(softcover : alk. paper)
Lccn
98004243
Specific material designation
remote
System control number
(WaSeSS)bookssj0000327277

Library Locations

    • Curtis Laws Wilson LibraryBorrow it
      400 West 14th Street, Rolla, MO, 65409, US
      37.955220 -91.772210
Processing Feedback ...