VEĽKÝ VÝBER
Ponúkame milióny kníh v angličtine. Od beletrie až po tie najodbornejšie odborné.
ISBN | 9781447166863 |
---|---|
Autor | lveczky Peter Csaba |
Vydavatel | Springer Nature |
Väzba | Paperback |
Rok vydania | 2018 |
Počet strán | 313 |
Introduces formal modeling of abstract data types and distributed systems
Does not assume or require any formal methods or theoretical computer science background
Contains exercises throughout