Summary goes here
Збережено в:
| Формат: | Книга |
|---|---|
| Мова: | Англійська |
| Предмети: | |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 3bbd4f1f-4d59-4d9d-92db-7017d5f7d576 |
| isbn | 9781400864041 1400864046 |
| issn | |
| language | eng |
| physical | 1 online resource (284 pages). |
| publication | – publisher: Princeton University Press dateOfPublication: 1994 |
| publishDate | 1994 |
| subjects | |
| title | Computer-aided verification of coordinating processes : the automata-theoretic approach / Robert P. Kurshan. |
| topic | Manufacturing processes Computational complexity. Expert systems (Computer science) System design. MATHEMATICS / Complex Analysis Computational complexity. Expert systems (Computer science) Manufacturing processes System design. TECHNOLOGY & ENGINEERING / Industrial Engineering TECHNOLOGY & ENGINEERING / Industrial Technology TECHNOLOGY & ENGINEERING / Manufacturing TECHNOLOGY & ENGINEERING / Technical & Manufacturing Industries & Trades Electronic books. |