Model checking /
Основен автор: | Clarke, E. M., 1945- |
---|---|
Други автори: | Grumberg, Orna., Peled, Doron A., 1962- |
Формат: | Електронна книга |
Език: | English |
Публикувано: |
Cambridge, Mass. :
MIT Press,
℗♭1999.
|
Предмети: | |
Онлайн достъп: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=27235 |
Подобни документи: |
Print version::
Model checking. |
Онлайн достъп от Библиотека ”Паница” на Американския университет в България: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=27235 |
---|
Провери в Paniza Library, AUBG | Сигнатура: |
QA76.76.V47 C553 1999eb |
---|