Coverart for item
The Resource Tests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 : revised papers, Yuri Gurevich, Bertrand Meyer (eds.), (electronic book)

Tests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 : revised papers, Yuri Gurevich, Bertrand Meyer (eds.), (electronic book)

Label
Tests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 : revised papers
Title
Tests and proofs
Title remainder
first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 : revised papers
Statement of responsibility
Yuri Gurevich, Bertrand Meyer (eds.)
Title variation
TAP 2007
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.T48
LC item number
T37 2007eb
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2007
http://bibfra.me/vocab/lite/meetingName
TAP 2007
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1950-
http://library.link/vocab/relatedWorkOrContributorName
  • Gurevich, Yuri
  • Meyer, Bertrand
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary, SL2, Programming and software engineering
Series volume
4454
http://library.link/vocab/subjectName
  • Computer software
  • Computer software
  • Computer software
Label
Tests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 : revised papers, Yuri Gurevich, Bertrand Meyer (eds.), (electronic book)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Color
multicolored
Control code
SPR184923195
Dimensions
unknown
Extent
1 online resource (viii, 216 p.)
Form of item
online
Isbn
9783540737698
Other physical details
ill.
Specific material designation
remote
Label
Tests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 : revised papers, Yuri Gurevich, Bertrand Meyer (eds.), (electronic book)
Publication
Bibliography note
Includes bibliographical references and index
Color
multicolored
Control code
SPR184923195
Dimensions
unknown
Extent
1 online resource (viii, 216 p.)
Form of item
online
Isbn
9783540737698
Other physical details
ill.
Specific material designation
remote

Library Locations

Processing Feedback ...