Ładuje się......

Principles of model checking /

Opis bibliograficzny
1. autor: Baier, Christel
Kolejni autorzy: Katoen, Joost-Pieter
Format: Printed Book
Język:English
Wydane: Cambridge, Mass. : The MIT Press, [2012
Hasła przedmiotowe:
Dostęp online:http://www.loc.gov/catdir/toc/ecip0727/2007037603.html

Internet

http://www.loc.gov/catdir/toc/ecip0727/2007037603.html

DCS

Szczegóły zapisu DCS
Sygnatura: 51 BAI
Egzemplarz Możliwość dostępu nieznana