Programming languages with applications to biology and security [electronic resource] : essays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday / edited by Chiara Bodei, Gian-Luigi Ferrari, Corrado Priami.
2015
QA76.9.L63
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
Programming languages with applications to biology and security [electronic resource] : essays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday / edited by Chiara Bodei, Gian-Luigi Ferrari, Corrado Priami.
ISBN
9783319255279 electronic book
3319255274 electronic book
9783319255262
3319255274 electronic book
9783319255262
Published
Cham : Springer, 2015.
Language
English
Description
1 online resource (xii, 375 pages) : illustrations.
Item Number
10.1007/978-3-319-25527-9 doi
Call Number
QA76.9.L63
Dewey Decimal Classification
005.1015113
Summary
Programming Languages with Applications to Biology and Security This Festschrift volume is published in honor of Pierpaolo Degano on the occasion of his 65th birthday and is the outcome of a colloquium held in Pisa, Italy, in June 2015. Pierpaolo Degano has worked on a large variety of topics including formal program semantics, concurrency theory, systems biology and security. The volume contains 22 refereed papers and one extended abstract, including personal memoirs and regular research papers by close collaborators and friends and a laudatio illustrating his distinguished career and his main scientific contributions. The papers deal with the main research topics explored by Pierpaolo Degano and those still under his investigation. .
Note
Includes author index.
Access Note
Access limited to authorized users.
Digital File Characteristics
text file PDF
Series
Lecture notes in computer science ; 9465.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Available in Other Form
Print version: 9783319255262
Linked Resources
Record Appears in