Recent trends in algebraic development techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised selected papers / Phillip James, Markus Roggenbach (eds.).
2017
QA76.76.D47
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Cite
Citation
Linked e-resources
Linked Resource
Details
Title
Recent trends in algebraic development techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised selected papers / Phillip James, Markus Roggenbach (eds.).
Meeting Name
ISBN
9783319720449 (electronic book)
3319720449 (electronic book)
9783319720432
3319720449 (electronic book)
9783319720432
Published
Cham, Switzerland : Springer, 2017.
Language
English
Description
1 online resource (x, 223 pages) : illustrations.
Item Number
10.1007/978-3-319-72044-9 doi
Call Number
QA76.76.D47
Dewey Decimal Classification
005.1
Note
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed December 14, 2017).
Added Author
Series
Lecture notes in computer science ; 10644.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources
Record Appears in