Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
Na minha lista:
| Autor principal: | |
|---|---|
| Outros Autores: | , |
| Formato: | livro electrónico |
| Idioma: | inglês |
| Publicado em: |
Springer Nature,
2024.
|
| Assuntos: | |
| Acesso em linha: | Access eBook |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|
MARC
| LEADER | 00000nam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | 18541 | ||
| 005 | 20261004181531.0 | ||
| 008 | 261004s2024 o 000 eng | ||
| 020 | |a 978-3-031-68416-6 | ||
| 100 | 1 | |a Hillston, Jane |9 40697 | |
| 700 | 1 | |a Soudjani, Sadegh |9 40698 | |
| 700 | 1 | |a Waga, Masaki |9 40699 | |
| 245 | 0 | 0 | |a Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems |
| 260 | |b Springer Nature, |c 2024. | ||
| 300 | |a 1 online resource | ||
| 650 | 4 | |a Computer Science |9 69352 | |
| 538 | |a Mode of access: World Wide Web. | ||
| 856 | 4 | 0 | |u https://library.mist.ac.bd/ebooks/5212/go?src=vufind |z Access eBook |
| 942 | |c EBOOK | ||
| 999 | |c 18541 |d 18541 | ||