Formal Sciences

1,038 books
Applied formal methods--FM-Trends 98Dieter Hutter
⏱ 6h 17m

Applied formal methods--FM-Trends 98

Dieter Hutter

1999377 pp.
Formal methods and software engineeringZhiming Liu
⏱ 12h 58m

Formal methods and software engineering

Zhiming Liu

2006778 pp.
Formal methods and software engineeringChris George
⏱ 10h 26m

Formal methods and software engineering

Chris George

2002626 pp.
SEFM 2007IEEE International Conference on Software Engineering and Formal Methods (5th 2007 London, England)
⏱ 6h 42m

SEFM 2007

IEEE International Conference on Software Engineering and Formal Methods (5th 2007 London, England)

2007402 pp.
CafeKokichi Futatsugi
⏱ 3h 14m

Cafe

Kokichi Futatsugi

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

Communicating embedded systems

Claude Jard

2009288 pp.
Computing MeaningHarry Bunt
⏱ 6h 12m

Computing Meaning

Harry Bunt

2001372 pp.
Calculus of variationsMariano Giaquinta
⏱ 10h 52m

Calculus of variations

Mariano Giaquinta

1996652 pp.
Formalʹnye grammatiki i grammaticheskie setiNikolaev, A. V.
⏱ 4h 11m

Formalʹnye grammatiki i grammaticheskie seti

Nikolaev, A. V.

2005251 pp.
Formal GrammarGlyn Morrill
⏱ 5h 12m

Formal Grammar

Glyn Morrill

2012312 pp.
Domain modeling-based software engineeringLu, Ruqian
⏱ 5h 58m

Domain modeling-based software engineering

Lu, Ruqian

2000358 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.
Konferencja naukowa Metody i narzędzia wytwarzania oprogramowaniaKonferencja naukowa Metody i narzędzia wytwarzania oprogramowania (2007 Szklarska Poręba, Poland)
⏱ 10h 34m

Konferencja naukowa Metody i narzędzia wytwarzania oprogramowania

Konferencja naukowa Metody i narzędzia wytwarzania oprogramowania (2007 Szklarska Poręba, Poland)

2007634 pp.
ProceedingsWorkshop on Industrial-Strength Formal Specification Techniques (2nd 1998 Boca Raton, Fla.)
⏱ 2h 23m

Proceedings

Workshop on Industrial-Strength Formal Specification Techniques (2nd 1998 Boca Raton, Fla.)

1999143 pp.
Lectures on formal methods and performance analysisUnknown Author
⏱ 7h 11m

Lectures on formal methods and performance analysis

Unknown Author

2001431 pp.
Keishiki shuhō no sangyōkai ōyō wākushoppu, 2011 =Workshop on Industrial Applications of Formal Methods (2011 Senri Raifu Saiensu Sentā)
⏱ 1h 26m

Keishiki shuhō no sangyōkai ōyō wākushoppu, 2011 =

Workshop on Industrial Applications of Formal Methods (2011 Senri Raifu Saiensu Sentā)

201186 pp.
Dist︠s︡iplinarnostʹ i vzaimodeĭstvie naukBonifatiĭ Mikhaĭlovich Kedrov
⏱ 4h 39m

Dist︠s︡iplinarnostʹ i vzaimodeĭstvie nauk

Bonifatiĭ Mikhaĭlovich Kedrov

1986279 pp.
IFM '99International Conference on Integrated Formal Methods (1st 1999 York, England)
⏱ 7h 56m

IFM '99

International Conference on Integrated Formal Methods (1st 1999 York, England)

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

Lectures on formal methods and performance analysis

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

429 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.
← PreviousPage 3 of 52Next →