Formal Methods Computer Science

314 books
ZAntoni Diller
⏱ 6h 14m

Z

Antoni Diller

1990374 pp.
Theory and Formal Methods of Computing 94England) Imperial College Department of Computing Workshop on Theory and Formal Methods (1st : 1993 : Chelwood Gate
⏱ 7h 11m

Theory and Formal Methods of Computing 94

England) Imperial College Department of Computing Workshop on Theory and Formal Methods (1st : 1993 : Chelwood Gate

1995431 pp.
The Way of ZJonathan Jacky
⏱ 6h 7m

The Way of Z

Jonathan Jacky

1996367 pp.
Software Specification MethodsHenri Habrias
⏱ 6h 58m

Software Specification Methods

Henri Habrias

2000418 pp.
Modeling in event-bJean-Raymond Abrial
⏱ 9h 59m

Modeling in event-b

Jean-Raymond Abrial

2006599 pp.
Formal methodsPaul Boca
⏱ 5h 0m

Formal methods

Paul Boca

2009300 pp.
Principles of Cyber-Physical SystemsRajeev Alur
⏱ 7h 44m

Principles of Cyber-Physical Systems

Rajeev Alur

2015464 pp.
Software specification methodsHenri Habrias
⏱ 6h 41m

Software specification methods

Henri Habrias

2006401 pp.
Communicating embedded systemsClaude Jard
⏱ 4h 48m

Communicating embedded systems

Claude Jard

2009288 pp.
Delay Insensitive CircuitsDennis Furey
⏱ 10h 52m

Delay Insensitive Circuits

Dennis Furey

2019652 pp.
Modern Formal Methods and ApplicationsHossam A. Gabbar
⏱ 3h 31m

Modern Formal Methods and Applications

Hossam A. Gabbar

2006211 pp.
Formal methods and software engineeringInternational Conference on Formal Engineering Methods (10th 2008 Kitakyushu-City, Japan)
⏱ 6h 36m

Formal methods and software engineering

International Conference on Formal Engineering Methods (10th 2008 Kitakyushu-City, Japan)

2008396 pp.
Advances in theory and formal methods of computingA. Edalat
⏱ 5h 30m

Advances in theory and formal methods of computing

A. Edalat

1996330 pp.
Formal Specification Using Z (Computer Science)David Lightfoot
⏱ 18h 9m

Formal Specification Using Z (Computer Science)

David Lightfoot

19911089 pp.
Descriptional Complexity of Formal SystemsJeffrey Shallit
⏱ 5h 36m

Descriptional Complexity of Formal Systems

Jeffrey Shallit

2014336 pp.
Computers in language researchWalter A. Sedelow
⏱ 3h 43m

Computers in language research

Walter A. Sedelow

1979223 pp.
Formal software developmentQuentin Charatan
⏱ 6h 40m

Formal software development

Quentin Charatan

2003400 pp.
Applied formal methods--FM-Trends 98Dieter Hutter
⏱ 6h 17m

Applied formal methods--FM-Trends 98

Dieter Hutter

1999377 pp.
Software specificationJohn D. Gannon
⏱ 4h 9m

Software specification

John D. Gannon

1993249 pp.
Computer-aided reasoningMatt Kaufmann
⏱ 5h 15m

Computer-aided reasoning

Matt Kaufmann

2000315 pp.
Page 1 of 16Next →