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

Author/creator TAP 2007
Other author Gurevich, Yuri.
Other author Meyer, Bertrand, 1950-
Format Electronic
Publication InfoBerlin ; New York : Springer,
Descriptionviii, 216, [1] p. : ill. ; 24 cm.
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects

Portion of title TAP 2007
SeriesLecture notes in computer science, 0302-9743 ; 4454
LNCS sublibrary. SL 2, Programming and software engineering
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Other formsAlso issued online.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2007931908
ISBN9783540737698 (pbk.)
ISBN3540737693 (pbk.)

Availability

Library Location Call Number Status Item Actions
Electronic Resources Access Content Online ✔ Available