lorem ipsum dolor sit amet ...
Tidsskrift
...
...
...
...
...
...
...
...
...
...
...
...
Bog, 2000
Logic in computer science : modelling and reasoning about systems (engelsk)
Detaljer
Indhold
Seneste udgave, bogPropositional logic; predicate logic; verification by model checking; program verification; modal logics and agents; binary decision diagram model checking
Tidsskrift
Artiklen er en del af
Artiklerne i handler ofte om
Artikler med samme emner
Fra
Artikler
Alle registrerede artikler fordelt på udgivelser
...
...
...
...
...