L'utilisation de methodes quantitatives en verification
| Основен автор: | Cormier, Denis, 1956- |
|---|---|
| Формат: | Електронна книга |
| Език: | French |
| Публикувано: |
Sainte-Foy [Que.] :
Presses de l'Universite du Quebec,
1994.
|
| Издание: | 3e ed. |
| Предмети: | |
| Онлайн достъп: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=245578 |
| Подобни документи: |
Print version::
Utilisation de methodes quantitatives en verification. |
| Онлайн достъп от Библиотека ”Паница” на Американския университет в България: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=245578 |
|---|
| Провери в Paniza Library, AUBG | Сигнатура: |
HF5667 .C65 1994eb |
|---|