Related Books

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

GET 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 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

GET 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 2003
Language: en
Pages: 443
Authors: Hartmut König
Categories: Computers
Type: BOOK - Published: 2003-09-23 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORT
Formal Techniques for Networked and Distributed Systems - FORTE 2005
Language: en
Pages: 569
Authors: Farn Wang
Categories: Computers
Type: BOOK - Published: 2005-10-20 - Publisher: Springer

GET 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
Language: en
Pages: 461
Authors: Myungchul Kim
Categories: Computers
Type: BOOK - Published: 2006-04-11 - Publisher: Springer

GET EBOOK

FORTE 2001, formerly FORTE/PSTV conference, is a combined conference of FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols