Cite this
Email this
Export Record
Save to List
Order a print copy

Tests and Proofs : 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings

This volume contains the proceedings of TAP 2010, the 4th International C- ference on Tests and Proofs held during July 1-2 in M´ alaga, Spain as part of TOOLS Federated Conferences. TAP 2010wasthe fourth event of an ongoingseriesof conferencesdevoted to the convergence of proofs and tests. In the p...

Full description

Saved in:
Bibliographic Details
Other Authors: Fraser, Gordon (Editor)
Gargantini, Angelo (Editor)
Corporate Author: SpringerLink (online služba)  
Format: eBook
Language:English
Published: Berlin ; Heidelberg : Springer Berlin Heidelberg, 2010
Series:Lecture Notes in Computer Science
Genre/form:elektronické knihy
ISBN:978-3-642-13977-2
9783642139765
Subjects:
Online Access:Plný text
Tags: Add Tag
No Tags, Be the first to tag this record!
Cover Image

Internet

Plný text
Status Sublibrary Description Location LCC Call number Old Call number