Related Books

FME '96: Industrial Benefit and Advances in Formal Methods
Language: en
Pages: 724
Authors: Marie-Claude Gaudel
Categories: Business & Economics
Type: BOOK - Published: 1996-03-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996. FME '96 w
Correct System Design
Language: en
Pages: 417
Authors: Ernst-RĂ¼diger Olderog
Categories: Computers
Type: BOOK - Published: 1999-09-22 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical appl
Lectures on Petri Nets II: Applications
Language: en
Pages: 942
Authors: Wolfgang Reisig
Categories: Computers
Type: BOOK - Published: 1998-11-04 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional ch
Agent Technology from a Formal Perspective
Language: en
Pages: 359
Authors: Christopher Rouff
Categories: Mathematics
Type: BOOK - Published: 2006-01-27 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The field of agent & multi-agent systems is experiencing tremendous growth. At the same time the field of formal methods is blossoming and has proven its import
Algebraic Methodology and Software Technology
Language: en
Pages: 660
Authors: Martin Wirsing
Categories: Computers
Type: BOOK - Published: 1996-06-19 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Content Description #Includes bibliographical references and index.