Enlarge

Formal techniques for distributed objects, components, and systems : 34thIFIP WG 6.1 international conference, FORTE 2014, Held as part of the 9th international federated conference on distributed com

Publication Data

Title Formal techniques for distributed objects, components, and systems : 34thIFIP WG 6.1 international conference, FORTE 2014, Held as part of the 9th international federated conference on distributed com
Contributors Erika Ábrahám, Catuscia Palamidessi, International Federation for Information Processing
Publisher Springer
Publication date 2014
Publication location Heidelberg
Language English

Topics

Electronic data processing :: Distributed processing :: Congresses
Formal methods (Computer science) :: Congresses
Computer network protocols :: Congresses

Catalogue Data

OBNB ID GBB467422
ISBN 10 3662436124
ISBN 13 9783662436127
Type BibliographicResource, Book
Dewey Classification 004.36

ISBD

P1053 xii, 299 pages
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Formal techniques for distributed objects, components, and systems : 34thIFIP WG 6.1 international conference, FORTE 2014, Held as part of the 9th international federated conference on distributed com. ISBN 9783662436127. Published by Springer in 2014. Publication and catalogue information, links to buy online and reader comments.