Tests and proofs [electronic resource] : second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings / Bernhard Beckert, Reiner Hähnle (eds.)
This book constitutes the refereed proceedings of the Second International Conference on Test and Proofs, TAP 2008, held in Prato, Italy, in April 2008. The 8 revised full papers presented together with 3 invited papers and the extended abstracts of 2 tutorials were carefully reviewed and selected f...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Other title: | TAP 2008. |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
2008.
|
| Series: | Lecture notes in computer science ;
4966. LNCS sublibrary. Programming and software engineering. |
| Subjects: |
Internet
Request from Rare and Distinctive CollectionsOnline
| Call Number: |
QA76.76.T48 T37 2008eb
|
|---|---|
| QA76.76.T48 T37 2008eb | Available |