Model Checking, second edition | |
| מחבר: Author: Автор: مؤلف: | Edmund Clarke, Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith |
| קישור: Link: Ссылка: وصلة: | Technion Library https://technion.primo.exlibrisgroup.com/discovery/fulldisplay?docid=alma9926538890203971&context=L&vid=972TEC_INST:972TEC_V1&search_scope=MyInstitution&isFrbr=true&tab=LibraryCatalog&lang=en |
Model Checking | |
| מחבר: Author: Автор: مؤلف: | Edmund Clarke, Orna Grumberg and Doron Peled |
| קישור: Link: Ссылка: وصلة: | Technion Library https://technion.primo.exlibrisgroup.com/discovery/fulldisplay?docid=alma990023179790203971&context=L&vid=972TEC_INST:972TEC_V1&search_scope=MyInstitution&tab=LibraryCatalog&lang=en |