Related Books

Formal Techniques for Computer Systems and Business Processes
Language: en
Pages: 361
Authors: Mario Bravetti
Categories: Computers
Type: BOOK - Published: 2005-11-15 - Publisher: Springer

DOWNLOAD EBOOK

This volume contains the proceedings of two international workshops EPEW and WS-FM held at the Universite de Versailles Saint-Quentin-en-Yvelines, Versailles, F
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 Techniques for Networked and Distributed Systems - FORTE 2006
Language: en
Pages: 497
Authors: Elie Najm
Categories: Computers
Type: BOOK - Published: 2006-09-27 - Publisher: Springer Science & Business Media

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 Methods and Hybrid Real-Time Systems
Language: en
Pages: 551
Authors: Cliff B. Jones
Categories: Computers
Type: BOOK - Published: 2007-09-04 - Publisher: Springer

DOWNLOAD EBOOK

This Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. The volume includes 25 refereed pa
New Trends in Intelligent Software Methodologies, Tools and Techniques
Language: en
Pages: 852
Authors: H. Fujita
Categories: Computers
Type: BOOK - Published: 2017-09-07 - Publisher: IOS Press

DOWNLOAD EBOOK

Software is an essential enabler for science and the new economy. It creates new markets and directions for a more reliable, flexible and robust society and emp