Related Books

Formal Techniques for Networked and Distributed Systems - FORTE 2005
Language: en
Pages: 569
Authors: Farn Wang
Categories: Computers
Type: BOOK - Published: 2005-09-26 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORT
Formal Techniques for Networked and Distributed Systems - FORTE 2004
Language: en
Pages: 389
Authors: David de Frutos-Escrig
Categories: Computers
Type: BOOK - Published: 2004-09-09 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORT
Formal Techniques for Networked and Distributed Systems - FORTE 2006
Language: en
Pages: 497
Authors: Elie Najm
Categories: Computers
Type: BOOK - Published: 2006-10-04 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORT
Formal Techniques for Networked and Distributed Systems - FORTE 2007
Language: en
Pages: 385
Authors: John Derrick
Categories: Computers
Type: BOOK - Published: 2007-06-12 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORT
Formal Methods for Open Object-Based Distributed Systems
Language: en
Pages: 332
Authors: Martin Steffen
Categories: Computers
Type: BOOK - Published: 2005-05-20 - Publisher: Springer

DOWNLOAD EBOOK

This volume contains the proceedings of FMOODS 2005, the 7th IFIP WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems. Th