|
" Tests and proofs "
Catherine Dubois (ed.)
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
604640
|
| Doc. No
|
:
|
b433859
|
| Main Entry
|
:
|
TAP 2009(2009 :, Eidgenössische Technische Hochschule Zürich, Switzerland)
|
| Title & Author
|
:
|
Tests and proofs : third international conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009 : proceedings /\ Catherine Dubois (ed.)
|
| Publication Statement
|
:
|
Berlin ;New York :: Springer,, c2009
|
| Series Statement
|
:
|
Lecture notes in computer science,; 5668
|
|
|
:
|
LNCS sublibrary: SL 2 - Programming and software engineering
|
| Page. NO
|
:
|
x, 168 p. :: ill. (some col.) ;; 24 cm
|
| ISBN
|
:
|
9783642029486
|
|
|
:
|
: 3642029485
|
|
|
:
|
: 9783642029493 (e-isbn)
|
|
|
:
|
: 3642029493 (e-isbn)
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index
|
| Subject
|
:
|
Computer software-- Testing, Congresses
|
| Subject
|
:
|
Computer software-- Reliability, Congresses
|
| Subject
|
:
|
Computer software-- Quality control, Congresses
|
| Dewey Classification
|
:
|
005.1/4
|
| LC Classification
|
:
|
QA76.76.T48T37 2009
|
|
|
:
|
QA76.76.T48T37 2009
|
| Added Entry
|
:
|
Dubois, Catherine
|
| Parallel Title
|
:
|
TAP 2009
|
| |