Buy Used and New Anna Ingólfsdóttir Books

Reactive Systems: Modelling, Specification and Verification

by Luca Aceto,Anna Ingólfsdóttir,Kim Guldstrand Larsen,Jiri Srba

ISBN 13: 9780521875462

Format: Hardcover (300 pages)
Publisher: Cambridge University Press
Published: 09 Aug 2007

Save for later

Foundations of Software Science and Computational Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European ... Computer Science and General Issues)

by

ISBN 13: 9783540330455

Format: Paperback (462 pages)
Publisher: Springer
Published: 16 Mar 2006

Save for later

Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday: 10460 (Lecture Notes in Computer Science)

by Luca Aceto,Giorgio Bacci,Giovanni Bacci,Anna Ingólfsdóttir,Axel Legay,Radu Mardare

ISBN 13: 9783319631202

Format: Paperback (680 pages)
Publisher: Springer
Published: 25 Jul 2017

Save for later