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

Communicating embedded systems

Communicating embedded systems

By Claude Jard

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

Extension Innovation Method

Extension Innovation Method

By Chunyan Yang

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

Modeling in event-b

By Jean-Raymond Abrial

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 Computer-aided reasoning by matt kaufmann,panagiotis manolios,j. strother moore

Computer-aided reasoning

By Matt Kaufmann,Panagiotis Manolios,J. Strother Moore

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

Practical UML statecharts in C/C++

By Miro Samek

Principles of Cyber-Physical Systems

Principles of Cyber-Physical Systems

By Rajeev Alur

Cover of The Way of Z by jonathan jacky

The Way of Z

By Jonathan Jacky

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 Computer Safety, Reliability, and Security by frank ortmeier

Computer Safety, Reliability, and Security

By Frank Ortmeier

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 Aspects of Component Software by farhad arbab

Formal Aspects of Component Software

By Farhad Arbab

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

NASA Formal Methods

By Julia M. Badger,Kristin Yvonne Rozier

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 Scalable Techniques for Formal Verification by sandip ray

Scalable Techniques for Formal Verification

By Sandip Ray

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

Modern Formal Methods and Applications

By Hossam A. Gabbar

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 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 Computers in language research by walter a. sedelow,sally yeates sedelow

Computers in language research

By Walter A. Sedelow,Sally Yeates Sedelow

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

Cover of Computer Performance Engineering by mirco tribastone

Computer Performance Engineering

By Mirco Tribastone

Cover of Software Engineering and Formal Methods by george eleftherakis

Software Engineering and Formal Methods

By George Eleftherakis