Explore Books on
formal methods (computer science)

1-24 of 290 Books

Cover of Software Specification Methods by henri habrias

Software Specification Methods

By Henri Habrias

Cover of Formal methods for components and objects by frank s. de boer,marcello m. bonsangue,susanne graf,willem-paul de roever

Formal methods for components and objects

By Frank S. de Boer,Marcello M. Bonsangue,Susanne Graf,Willem-Paul de Roever

Communicating embedded systems

Communicating embedded systems

By Claude Jard

Cover of Computer-aided reasoning by matt kaufmann,panagiotis manolios,j. strother moore

Computer-aided reasoning

By Matt Kaufmann,Panagiotis Manolios,J. Strother Moore

Cover of Process Algebra for Parallel and Distributed Processing by michael alexander,gardner, william,william gardner

Process Algebra for Parallel and Distributed Processing

By Michael Alexander,Gardner, William,William Gardner

Cover of Modeling in event-b by jean-raymond abrial

Modeling in event-b

By Jean-Raymond Abrial

Extension Innovation Method

Extension Innovation Method

By Chunyan Yang

Cover of Practical UML statecharts in C/C++ by miro samek

Practical UML statecharts in C/C++

By Miro Samek

Cover of The Way of Z by jonathan jacky

The Way of Z

By Jonathan Jacky

Principles of Cyber-Physical Systems

Principles of Cyber-Physical Systems

By Rajeev Alur

Cover of Foundations and applications of security analysis by joint workshop on automated reasoning for security protocol analysis and issues in the theory of security (2009 york, england)

Foundations and applications of security analysis

By Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2009 York, England)

Cover of Formal methods by paul boca,j. p. bowen,j. i. siddiqi

Formal methods

By Paul Boca,J. P. Bowen,J. I. Siddiqi

Cover of Formal Aspects of Component Software by farhad arbab

Formal Aspects of Component Software

By Farhad Arbab

Cover of Computer Safety, Reliability, and Security by frank ortmeier

Computer Safety, Reliability, and Security

By Frank Ortmeier

Cover of Scalable Techniques for Formal Verification by sandip ray

Scalable Techniques for Formal Verification

By Sandip Ray

Cover of NASA Formal Methods by julia m. badger,kristin yvonne rozier

NASA Formal Methods

By Julia M. Badger,Kristin Yvonne Rozier

Cover of Descriptional Complexity of Formal Systems by jeffrey shallit,alexander okhotin

Descriptional Complexity of Formal Systems

By Jeffrey Shallit,Alexander Okhotin

Cover of Formal Techniques for Networked and Distributed Systems - FORTE 2005 by farn wang

Formal Techniques for Networked and Distributed Systems - FORTE 2005

By Farn Wang

Cover of Modern Formal Methods and Applications by hossam a. gabbar

Modern Formal Methods and Applications

By Hossam A. Gabbar

Cover of Challenges for Action Theories by michael thielscher

Challenges for Action Theories

By Michael Thielscher

Cover of Challenges for action theories by michael thielscher

Challenges for action theories

By Michael Thielscher

Cover of Fuzzy Computational Ontologies in Contexts by yi cai,ching-man au yeung,ho-fung leung

Fuzzy Computational Ontologies in Contexts

By Yi Cai,Ching-man Au Yeung,Ho-fung Leung

Cover of Formal methods for distributed system development by ifip tc6 wg6.1 joint international conference on formal description techniques for distributed systems and communication protocols and protocol specification, testing and verification (2000 pisa, italy)

Formal methods for distributed system development

By IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification (2000 Pisa, Italy)

Cover of Verification techniques for system-level design by masahiro fujita,masahiro fujita,indradeep ghosh,mukul prasad

Verification techniques for system-level design

By Masahiro Fujita,Masahiro Fujita,Indradeep Ghosh,Mukul Prasad