Principles of Model Checking
Christel Baier, Joost-Pieter Katoen
Principles of Model Checking - London The MIT Press 2008
9780262026499
004.24
Principles of Model Checking - London The MIT Press 2008
9780262026499
004.24
Powered by Koha