Related Books

Formal Techniques for Networked and Distributed Systems – FORTE 2008
Language: en
Pages: 351
Authors: Kenji Suzuki
Categories: Computers
Type: BOOK - Published: 2008-05-27 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains the proceedings of FORTE 2008, 28th IFIP WG6.1 - ternational Conference on Formal Techniques for Networked and Distributed Systems. FORTE 2
Formal Techniques for Networked and Distributed Systems--FORTE 2008
Language: en
Pages: 168
Authors:
Categories: Computer network protocols
Type: BOOK - Published: 2008 - Publisher:

DOWNLOAD EBOOK

Formal Techniques for Networked and Distributed Systems
Language: en
Pages: 398
Authors:
Categories: Electronic data processing
Type: BOOK - Published: 2002 - Publisher:

DOWNLOAD EBOOK

Formal Techniques for Distributed Systems
Language: en
Pages: 333
Authors: Dirk Beyer
Categories: Computers
Type: BOOK - Published: 2013-05-29 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 15th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMO
Formal Techniques for Distributed Systems
Language: en
Pages: 260
Authors: David Lee
Categories: Computers
Type: BOOK - Published: 2009-06-15 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMO