Coverart for item
The Resource Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : proceedings, Ed Brinksma (ed.), (electronic resource)

Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : proceedings, Ed Brinksma (ed.), (electronic resource)

Label
Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
Title
Tools and algorithms for the construction and analysis of systems
Title remainder
Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
Statement of responsibility
Ed Brinksma (ed.)
Creator
Contributor
Subject
Language
eng
Cataloging source
DLC
Dewey number
004.2/1
LC call number
QA76.9.S88
LC item number
T33 1997
http://bibfra.me/vocab/lite/meetingDate
1997
http://bibfra.me/vocab/lite/meetingName
TACAS '97
http://library.link/vocab/relatedWorkOrContributorName
Brinksma, Ed
Series statement
Lecture notes in computer science
Series volume
1217
http://library.link/vocab/subjectName
  • System design
  • Computer software
Label
Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : proceedings, Ed Brinksma (ed.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000327276
Dimensions
unknown
Isbn
9783540627906
Isbn Type
(pbk. : alk. paper)
Lccn
97011043
Specific material designation
remote
System control number
(WaSeSS)bookssj0000327276
Label
Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : proceedings, Ed Brinksma (ed.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000327276
Dimensions
unknown
Isbn
9783540627906
Isbn Type
(pbk. : alk. paper)
Lccn
97011043
Specific material designation
remote
System control number
(WaSeSS)bookssj0000327276

Library Locations

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