Formal techniques for distributed objects, components, and systems [electronic resource] : 34th IFIP WG 6.1 International Conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 : proceedings / Erika Ábrahám, Catuscia Palamidessi (Eds.).
2014
QA76.9.D5 F666 2014
Linked e-resources
Linked Resource
Online Access
Details
Title
Formal techniques for distributed objects, components, and systems [electronic resource] : 34th IFIP WG 6.1 International Conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 : proceedings / Erika Ábrahám, Catuscia Palamidessi (Eds.).
Meeting Name
FORTE (Conference) (34th : 2014 : Berlin, Germany)
ISBN
9783662436134 electronic book
3662436132 electronic book
3662436132 electronic book
Publication Details
Cham : Springer, [2014]
Copyright
©2014
Language
English
Description
1 online resource (xii, 299 pages) : illustrations.
Call Number
QA76.9.D5 F666 2014
Dewey Decimal Classification
004.36
Note
International conference proceedings.
Includes author index.
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Description based on online resource; title from PDF title page (SpringerLinkr, viewed June 16, 2014).
Series
Lecture notes in computer science ; 8461. 1611-3349
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