logo
Wrong email address or username
Wrong email address or username
Incorrect verification code

Luca Aceto's Books back

language per page order
Action Refinement In Process Algebras (Distinguished Dissertations In Computer Science) - Luca Aceto
Action Refinement In Process Algebras (Distinguished Dissertations In Computer Science)
by Luca Aceto (author)
publisher: Cambridge University Press publish date: February 22nd 2007
format: paperback pages: 283
language: English
ISBN: 0521019737 (9780521019736)
Reactive Systems: Modelling, Specification and Verification - Luca Aceto, Kim Guldstrand Larsen, Jiri Srba, Anna Ingólfsdóttir
Reactive Systems: Modelling, Specification and Verification
by Jiri Srba (author), Luca Aceto (author), Kim Guldstrand Larsen (author), Anna Ingólfsdóttir (author)
publisher: Cambridge University Press publish date: August 9th 2007
format: hardcover pages: 284
language: English
ISBN: 0521875463 (9780521875462)
Automata, Languages and Programming, Part II - Luca Aceto, Ivan Damgaard, Leslie Ann Goldberg, Magnus M. Halldorsson, Anna Ingólfsdóttir, Igor Walukiewicz
Automata, Languages and Programming, Part II
by Magnus M. Halldorsson (author), Igor Walukiewicz (author), Ivan Damgaard (author), Luca Aceto (author), Anna Ingólfsdóttir (author), Leslie Ann Goldberg (author)
publisher: Springer publish date: June 24th 2008
format: paperback pages: 730
language: English
ISBN: 3540705821 (9783540705826)
Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings, Part II - Luca Aceto, Monika Henzinger, Jiri Sgall
Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings, Part II
by Jiri Sgall (author), Monika Henzinger (author), Luca Aceto (author)
publisher: Springer, 666 pages, Paperback" /> publish date: June 27th 2011
format: paperback pages: 666
language: English
ISBN: 3642220118 (9783642220111)
Automata, Languages and Programming: 35th International Colloquium, Icalp 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I - Luca Aceto, Ivan Damgaard, Leslie Ann Goldberg, Magnus M. Halldorsson, Anna Ingólfsdóttir, Igor Walukiewicz
Automata, Languages and Programming: 35th International Colloquium, Icalp 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I
by Igor Walukiewicz (author), Magnus M. Halldorsson (author), Ivan Damgaard (author), Luca Aceto (author), Anna Ingólfsdóttir (author), Leslie Ann Goldberg (author)
publisher: Springer publish date: June 24th 2008
format: paperback pages: 896
language: English
ISBN: 3540705740 (9783540705741)
Foundations of Software Science and Computational Structures: 9th International Conference, Fossacs 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2006, Vienna, Austria, March 25-31, 2006, Proceedings - Luca Aceto, Anna Ingólfsdóttir
Foundations of Software Science and Computational Structures: 9th International Conference, Fossacs 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2006, Vienna, Austria, March 25-31, 2006, Proceedings
by Luca Aceto (author), Anna Ingólfsdóttir (author)
publisher: Springer publish date: April 1st 2006
format: paperback pages: 447
language: English
ISBN: 3540330453 (9783540330455)
Need help?