Enlarge

Tests and proofs : 6th international conference, TAP 2012, Prague, Czech Republic, May 31 - June 1, 2012 : proceedings

Publication Data

Title Tests and proofs : 6th international conference, TAP 2012, Prague, Czech Republic, May 31 - June 1, 2012 : proceedings
Contributors Achim D. Brucker, Jacques Julliand
Publisher Springer
Publication date 2012
Publication location Heidelberg
Language English

Topics

Software engineering :: Research :: Congresses
Testing :: Data processing :: Congresses

Catalogue Data

OBNB ID GBB260724
ISBN 10 3642304729
ISBN 13 9783642304729
Type BibliographicResource, Book
Dewey Classification 005.14

ISBD

P1053 x, 175 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Tests and proofs : 6th international conference, TAP 2012, Prague, Czech Republic, May 31 - June 1, 2012 : proceedings. ISBN 9783642304729. Published by Springer in 2012. Publication and catalogue information, links to buy online and reader comments.