Summary goes here
Збережено в:
| Формат: | Книга |
|---|---|
| Мова: | Англійська |
| Предмети: | |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 55ecd200-94bc-474d-8d0a-d8e4fa856cb7 |
| isbn | 0387401156 9780387401157 038727006X 9780387270067 6610263558 9786610263554 |
| issn | |
| language | eng |
| physical | 1 online resource (xix, 383 pages) :illustrations |
| publication | – publisher: Springer dateOfPublication: ©2005 |
| publishDate | ©2005 |
| subjects | |
| title | Abstraction, refinement and proof for probabilistic systems / Annabelle McIver, Carroll Morgan. |
| topic | Engineering mathematics. Probabilities. Systems engineering. Probability Mathématiques de l'ingénieur. Probabilités. Ingénierie des systèmes. probability. systems engineering. COMPUTERS COMPUTERS COMPUTERS Probabilities. Systems engineering. Mathématiques de l'ingénieur. Probabilités. Ingénierie des systèmes. Engineering mathematics. Informatique. Engineering mathematics Probabilities Systems engineering |