Editions

25 Years of Model Checking: History, Achievements, Perspectives

Current edition
25 Years of Model Checking: History, Achievements, Perspectives by

Lecture Notes in Computer Science

25 Years of Model Checking: History, Achievements, Perspectives

230 pages

nonfiction computer science design medium-paced
Other editions (2)
Expand filter menu Filter editions
Models of the History of Philosophy: From Its Origins in the Renaissance to the 'historia Philosophica' by

Lecture Notes in Computer Science

Models of the History of Philosophy: From Its Origins in the Renaissance to the 'historia Philosophica'

500 pages

nonfiction computer science design medium-paced
Models of the History of Philosophy: From Its Origins in the Renaissance to the 'historia Philosophica' by

Lecture Notes in Computer Science

Models of the History of Philosophy: From Its Origins in the Renaissance to the 'historia Philosophica'

500 pages

nonfiction computer science design medium-paced