Formal Sciences

1,038 books
The correctness-by-construction approach to programmingDerrick Kourie
⏱ 4h 24m

The correctness-by-construction approach to programming

Derrick Kourie

2012264 pp.
Rigorous methods for software construction and analysisJean-Raymond Abrial
⏱ 3h 54m

Rigorous methods for software construction and analysis

Jean-Raymond Abrial

2009234 pp.
Formal Techniques for Safety-Critical SystemsCyrille Artho
⏱ 4h 28m

Formal Techniques for Safety-Critical Systems

Cyrille Artho

2014268 pp.
Computer GamesTristan Cazenave
⏱ 3h 11m

Computer Games

Tristan Cazenave

2014191 pp.
Ifm 99K Araki
⏱ 7h 56m

Ifm 99

K Araki

2000476 pp.
FMICS '05International Workshop on Formal Methods for Industrial Critical Systems (10th 2005 Lisbon, Portugal)
⏱ 2h 24m

FMICS '05

International Workshop on Formal Methods for Industrial Critical Systems (10th 2005 Lisbon, Portugal)

2005144 pp.
Lectures on formal methods and performance analysisEEF Summer School on Trends in Computer Science (1st 2000 Berg en Dal, Netherlands)
⏱ 7h 9m

Lectures on formal methods and performance analysis

EEF Summer School on Trends in Computer Science (1st 2000 Berg en Dal, Netherlands)

2001429 pp.
Integrated formal methodsInternational Conference on Integrated Formal Methods (5th 2005 Eindhoven, Netherlands)
⏱ 6h 45m

Integrated formal methods

International Conference on Integrated Formal Methods (5th 2005 Eindhoven, Netherlands)

2005405 pp.
Algebraic foundations of systems specificationEgidio Astesiano
⏱ 10h 15m

Algebraic foundations of systems specification

Egidio Astesiano

1999615 pp.
Formal methods for performance evaluationInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems (7th 2007 Bertinoro, Italy)
⏱ 7h 48m

Formal methods for performance evaluation

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (7th 2007 Bertinoro, Italy)

2007468 pp.
Formal approaches to software testing and runtime verificationFATES/RV 2006 (2006 Seattle, Wash.)
⏱ 4h 14m

Formal approaches to software testing and runtime verification

FATES/RV 2006 (2006 Seattle, Wash.)

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

Computer-aided reasoning

Matt Kaufmann

2000315 pp.
Mathematics in ComputingGerard O'Regan
⏱ 4h 57m

Mathematics in Computing

Gerard O'Regan

2012297 pp.
Computers in language research 2Unknown Author
⏱ 5h 1m

Computers in language research 2

Unknown Author

1983301 pp.
Computers in language research 2Sally Yeates Sedelow
⏱ 5h 1m

Computers in language research 2

Sally Yeates Sedelow

1983301 pp.
Integrated formal methodsEerke Boiten
⏱ 9h 1m

Integrated formal methods

Eerke Boiten

2004541 pp.
Integrated formal methodsBill Stoddart
⏱ 7h 21m

Integrated formal methods

Bill Stoddart

2000441 pp.
Integrated formal methodsInternational Conference on Integrated Formal Methods (3rd 2002 Turku, Finland)
⏱ 6h 45m

Integrated formal methods

International Conference on Integrated Formal Methods (3rd 2002 Turku, Finland)

2002405 pp.
Runtime verificationRV 2008 (2008 Budapest, Hungary)
⏱ 3h 7m

Runtime verification

RV 2008 (2008 Budapest, Hungary)

2008187 pp.
Discrete mathematics using a computerJohn O'Donnell
⏱ 7h 30m

Discrete mathematics using a computer

John O'Donnell

2006450 pp.
← PreviousPage 4 of 52Next →