Related Books

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-07-07 - Publisher: Springer

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 Techniques for Networked and Distributed Systems – FORTE 2008
Language: en
Pages: 351
Authors: Kenji Suzuki
Categories: Computers
Type: BOOK - Published: 2008-06-01 - Publisher: Springer

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 Methods in Manufacturing
Language: en
Pages: 719
Authors: Javier Campos
Categories: Technology & Engineering
Type: BOOK - Published: 2018-09-03 - Publisher: CRC Press

DOWNLOAD EBOOK

Illustrated with real-life manufacturing examples, Formal Methods in Manufacturing provides state-of-the-art solutions to common problems in manufacturing syste
On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE
Language: en
Pages: 781
Authors: Zahir Tari
Categories: Computers
Type: BOOK - Published: 2006-11-30 - Publisher: Springer

DOWNLOAD EBOOK

This two-volume set LNCS 4275/4276 constitutes the refereed proceedings of the four confederated conferences CoopIS 2006, DOA 2006, GADA 2006, and ODBASE 2006 h