Formal Methods

407 books
How to survive in your native landJames Herndon
⏱ 3h 12m

How to survive in your native land

James Herndon

1971192 pp.
The mind manipulatorsAlan W. Scheflin
⏱ 8h 59m

The mind manipulators

Alan W. Scheflin

1978539 pp.
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.
Software Specification MethodsHenri Habrias
⏱ 6h 58m

Software Specification Methods

Henri Habrias

2000418 pp.
Free to learnPam Laricchia
⏱ 1h 49m

Free to learn

Pam Laricchia

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

The Way of Z

Jonathan Jacky

1996367 pp.
Formal methodsPaul Boca
⏱ 5h 0m

Formal methods

Paul Boca

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

Software specification methods

Henri Habrias

2006401 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.
Principles of Cyber-Physical SystemsRajeev Alur
⏱ 7h 44m

Principles of Cyber-Physical Systems

Rajeev Alur

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

Modeling in event-b

Jean-Raymond Abrial

2006599 pp.
The Seventeen Provers of the WorldFreek Wiedijk
⏱ 2h 38m

The Seventeen Provers of the World

Freek Wiedijk

2006158 pp.
Formal methods at the crossroadsBernhard K. Aichernig

Formal methods at the crossroads

Bernhard K. Aichernig

2003No page data
Computers in language researchWalter A. Sedelow
⏱ 3h 43m

Computers in language research

Walter A. Sedelow

1979223 pp.
Logic ProgrammingChristoph Beierle
⏱ 6h 51m

Logic Programming

Christoph Beierle

1994411 pp.
Challenges for Action TheoriesMichael Thielscher
⏱ 2h 18m

Challenges for Action Theories

Michael Thielscher

2000138 pp.
The sociology of health, illness, and health careRose Weitz
⏱ 7h 12m

The sociology of health, illness, and health care

Rose Weitz

1996432 pp.
Alternatives in EducationMark Hegener
⏱ 4h 46m

Alternatives in Education

Mark Hegener

1992286 pp.
Page 1 of 21Next →