Coverart for item
The Resource Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings, Rajeev Joshi, Peter Müller, Andreas Podelski (eds.), (electronic book)

Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings, Rajeev Joshi, Peter Müller, Andreas Podelski (eds.), (electronic book)

Label
Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings
Title
Verified software: theories, tools, experiments
Title remainder
4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings
Statement of responsibility
Rajeev Joshi, Peter Müller, Andreas Podelski (eds.)
Title variation
VSTTE 2012
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
GW5XE
Dewey number
005.1/4
Illustrations
illustrations
Index
index present
LC call number
QA76.76.V47
LC item number
V78 2012
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2012
http://bibfra.me/vocab/lite/meetingName
VSTTE 2012
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1972-
http://library.link/vocab/relatedWorkOrContributorName
  • Joshi, Rajeev
  • Müller, Peter
  • Podelski, Andreas
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 2, Programming and software engineering
Series volume
7152
http://library.link/vocab/subjectName
Computer software
Label
Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings, Rajeev Joshi, Peter Müller, Andreas Podelski (eds.), (electronic book)
Instantiates
Publication
Note
International conference proceedings
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Color
multicolored
Control code
SPR775594718
Dimensions
unknown
Extent
1 online resource (x, 325 p.)
File format
unknown
Form of item
online
Isbn
9783642277047
Level of compression
unknown
Other physical details
ill.
Quality assurance targets
not applicable
Reformatting quality
unknown
Reproduction note
Electronic resource.
Sound
unknown sound
Specific material designation
remote
Label
Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings, Rajeev Joshi, Peter Müller, Andreas Podelski (eds.), (electronic book)
Publication
Note
International conference proceedings
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Color
multicolored
Control code
SPR775594718
Dimensions
unknown
Extent
1 online resource (x, 325 p.)
File format
unknown
Form of item
online
Isbn
9783642277047
Level of compression
unknown
Other physical details
ill.
Quality assurance targets
not applicable
Reformatting quality
unknown
Reproduction note
Electronic resource.
Sound
unknown sound
Specific material designation
remote

Library Locations

Processing Feedback ...