Coverart for item
The Resource Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 : proceedings, Holger Hermanns, Jens Palsberg (eds.), (electronic book)

Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 : proceedings, Holger Hermanns, Jens Palsberg (eds.), (electronic book)

Label
Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 : proceedings
Title
Tools and algorithms for the construction and analysis of systems
Title remainder
12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 : proceedings
Statement of responsibility
Holger Hermanns, Jens Palsberg (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Member of
Characteristic
online system or service
Image bit depth
0
http://bibfra.me/vocab/lite/meetingDate
2006
http://bibfra.me/vocab/lite/meetingName
TACAS 2006
http://library.link/vocab/relatedWorkOrContributorDate
  • 1967-
  • 2006
http://library.link/vocab/relatedWorkOrContributorName
  • Hermanns, Holger
  • Palsberg, Jens
  • ETAPS 2006
Series statement
Lecture notes in computer science
Series volume
3920
http://library.link/vocab/subjectName
  • System design
  • Computer software
  • Logic design
  • Software engineering
Label
Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 : proceedings, Holger Hermanns, Jens Palsberg (eds.), (electronic book)
Instantiates
Publication
Antecedent source
mixed
Bibliography note
Includes bibliographical references and index
Color
not applicable
Dimensions
unknown
Extent
xvi, 506 p.
File format
multiple file formats
Isbn
9783540330578
Issn
0302-9743
Level of compression
uncompressed
Other physical details
ill.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
Label
Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 : proceedings, Holger Hermanns, Jens Palsberg (eds.), (electronic book)
Publication
Antecedent source
mixed
Bibliography note
Includes bibliographical references and index
Color
not applicable
Dimensions
unknown
Extent
xvi, 506 p.
File format
multiple file formats
Isbn
9783540330578
Issn
0302-9743
Level of compression
uncompressed
Other physical details
ill.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote

Library Locations

Processing Feedback ...