Tools And Algorithms For The Construction And Analysis Of Systems
25 Years Of TACAS: TOOLympics, Held As Part Of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III
- Editore:
Springer Nature B.V.
- EAN:
9783030175030
- ISBN:
3030175030
- Pagine:
- 288
- Formato:
- Paperback
- Lingua:
- Tedesco
Acquistabile con
o la
Fuori catalogo - Non ordinabile
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti