Image of Formal Techniques for Distributed Objects, Components, and Systems
Bookmark Share

Text

Formal Techniques for Distributed Objects, Components, and Systems

This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015. The 15 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods.

Availability

No copy data

Detail Information
Series Title
-
Call Number
-
Publisher
Cham : Springer.,
Collation
XII, 245 pages
Language
English
ISBN/ISSN
978-3-319-19195-9
Classification
NONE
Content Type
text
Media Type
computer
Carrier Type
-
Edition
-
Subject(s)
Logics and Meanings of Programs
Specific Detail Info
-
Statement of Responsibility
Other Information
Cataloger
Jemadi
Source
-
Validator
-
Digital Object Identifier (DOI)
-
Journal Volume
-
Journal Issue
-
Subtitle
-
Parallel Title
-
Other version/related

No other version available

File Attachment
Comments
You must be logged in to post a comment