Formal Methods Computer Scien

5 books
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.
Computers in Language Research Formal Methods: Formal Methods (Trends in Linguistics : Studies and Monographs, V. 5)Unknown Author
⏱ 3h 43m

Computers in Language Research Formal Methods: Formal Methods (Trends in Linguistics : Studies and Monographs, V. 5)

Unknown Author

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

Domain modeling-based software engineering

Lu, Ruqian

2000358 pp.
Petri nets for systems engineeringClaude Girault
⏱ 10h 7m

Petri nets for systems engineering

Claude Girault

2002607 pp.