๐”– Scriptorium
โœฆ   LIBER   โœฆ

๐Ÿ“

Principles of Model Checking (Instructor Solution Manual, Solutions)

โœ Scribed by Christel Baier, Joost-Pieter Katoen


Publisher
The MIT Press
Year
2008
Tongue
English
Leaves
106
Series
The MIT Press
Edition
1
Category
Library

โฌ‡  Acquire This Volume

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES