Tests and proofs [electronic resource] : 8th International Conference, TAP 2014, held as part of STAF 2014, York, UK, July 24-25, 2014. Proceedings / Martina Seidl, Nikolai Tillmann (eds.).
2014
QA76.76.T48 .T37 2013
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Cite
Citation
Linked e-resources
Linked Resource
Details
Title
Tests and proofs [electronic resource] : 8th International Conference, TAP 2014, held as part of STAF 2014, York, UK, July 24-25, 2014. Proceedings / Martina Seidl, Nikolai Tillmann (eds.).
Meeting Name
ISBN
9783319090993 electronic book
3319090992 electronic book
9783319090986
3319090992 electronic book
9783319090986
Published
Cham : Springer, 2014.
Language
English
Description
1 online resource (xii, 214 pages) : illustrations.
Item Number
10.1007/978-3-319-09099-3 doi
Call Number
QA76.76.T48 .T37 2013
Dewey Decimal Classification
005.1/4
Note
International conference proceedings.
Includes author index.
Includes author index.
Access Note
Access limited to authorized users.
Added Author
Series
Lecture notes in computer science ; 8570. 0302-9743
LNCS sublibrary. SL 2, Programming and software engineering.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Record Appears in