Tests and proofs : 12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings / Catherine Dubois, Burkhart Wolff (eds.).
2018
QA76.76.T48 .T37 2018eb
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Cite
Citation
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Tests and proofs : 12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings / Catherine Dubois, Burkhart Wolff (eds.).
Meeting Name
ISBN
9783319929941 (electronic book)
3319929941 (electronic book)
9783319929934
3319929941 (electronic book)
9783319929934
Published
Cham, Switzerland : Springer, 2018.
Language
English
Description
1 online resource (xiv, 185 pages) : illustrations.
Item Number
10.1007/978-3-319-92994-1 doi
Call Number
QA76.76.T48 .T37 2018eb
Dewey Decimal Classification
005.1/4
Note
International conference proceedings.
Bibliography, etc. Note
Includes bibliographical references and author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed June 20, 2018).
Added Meeting Name
Series
Lecture notes in computer science ; 10889. 0302-9743
LNCS sublibrary. SL 2, Programming and software engineering.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Record Appears in