Formal techniques for distributed systems [electronic resource] : 36th IFIP WG 6.1 International Conference, FORTE 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, proceedings / Elvira Albert, Ivan Lanese (eds.).
2016
QA76.9.D5 I58 2016eb
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Formal techniques for distributed systems [electronic resource] : 36th IFIP WG 6.1 International Conference, FORTE 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, proceedings / Elvira Albert, Ivan Lanese (eds.).
Meeting Name
ISBN
9783319395708 (electronic book)
331939570X (electronic book)
9783319395692
331939570X (electronic book)
9783319395692
Published
Switzerland : Springer, 2016.
Language
English
Description
1 online resource (xvi, 275 pages) : illustrations.
Call Number
QA76.9.D5 I58 2016eb
Dewey Decimal Classification
004
Note
International conference proceedings.
Access Note
Access limited to authorized users.
Added Author
Added Meeting Name
Series
LNCS sublibrary. SL 2, Programming and software engineering.
Lecture notes in computer science ; 9688.
Lecture notes in computer science ; 9688.
Linked Resources
Record Appears in