Formale Methode

402 books
The mind manipulatorsAlan W. Scheflin
⏱ 8h 59m

The mind manipulators

Alan W. Scheflin

1978539 pp.
How to survive in your native landJames Herndon
⏱ 3h 12m

How to survive in your native land

James Herndon

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

The sociology of health, illness, and health care

Rose Weitz

1996432 pp.
Alternative approaches to educationFiona Carnie
⏱ 3h 52m

Alternative approaches to education

Fiona Carnie

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

Software Specification Methods

Henri Habrias

2000418 pp.
Creating a space to growGail Ryder Richardson
⏱ 2h 24m

Creating a space to grow

Gail Ryder Richardson

2006144 pp.
ZAntoni Diller
⏱ 6h 14m

Z

Antoni Diller

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

The Way of Z

Jonathan Jacky

1996367 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.
Communicating embedded systemsClaude Jard
⏱ 4h 48m

Communicating embedded systems

Claude Jard

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

Free to learn

Pam Laricchia

2012109 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.
Formal methodsPaul Boca
⏱ 5h 0m

Formal methods

Paul Boca

2009300 pp.
Formal methods for components and objectsFrank S. de Boer
⏱ 4h 43m

Formal methods for components and objects

Frank S. de Boer

2004283 pp.
Queer ScienceSimon LeVay
⏱ 6h 14m

Queer Science

Simon LeVay

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

The Seventeen Provers of the World

Freek Wiedijk

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

Computer-aided reasoning

Matt Kaufmann

2000315 pp.
Extension Innovation MethodChunyan Yang
⏱ 4h 18m

Extension Innovation Method

Chunyan Yang

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

Modern Formal Methods and Applications

Hossam A. Gabbar

2006211 pp.
Page 1 of 21Next →