Formal techniques for distributed objects, components, and systems : 40th IFIP WG 6.1 International Conference, FORTE 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings / Alexey Gotsman, Ana Sokolova (eds.).
2020
QA76.9.D5
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Formal techniques for distributed objects, components, and systems : 40th IFIP WG 6.1 International Conference, FORTE 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings / Alexey Gotsman, Ana Sokolova (eds.).
Meeting Name
FORTE Conference (40th : 2020 : Online)
ISBN
9783030500863 (electronic book)
3030500861 (electronic book)
9783030500856
3030500861 (electronic book)
9783030500856
Published
Cham, Switzerland : Springer, 2020.
Language
English
Description
1 online resource (xii, 237 pages) : illustrations.
Item Number
10.1007/978-3-030-50086-3 doi
Call Number
QA76.9.D5
Dewey Decimal Classification
004.36
Note
Includes author index.
International conference proceedings.
The title page lists Valletta, Malta as the location. However, the summary states "The conference was held virtually due to the COVID-19 pandemic. "
International conference proceedings.
The title page lists Valletta, Malta as the location. However, the summary states "The conference was held virtually due to the COVID-19 pandemic. "
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed June 29, 2020).
Added Author
Gotsman, Alexey, editor.
Sokolova, Ana, editor.
Sokolova, Ana, editor.
Added Meeting Name
International Federated Conferences on Distributed Computing Techniques (15th : 2020 : Online)
Series
Lecture notes in computer science ; 12136.
LNCS sublibrary. SL 2, Programming and software engineering.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources