Kirjat Anna Ingolfsdottir
Reactive Systems: Modelling, Specification and Verification
Anna Ingolfsdottir, Jiri Srba, Luca Aceto
-25% koodilla BOOKS
Toimittajalla varastossa
Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings
Luca Aceto, Ivan Damgaard, Leslie Ann Goldberg, Magnus M. Halldorsson, Anna Ingolfsdottir, Igor Walukiewicz
-25% koodilla BOOKS
Toimittajalla varastossa