Lisa - Fréttir og viðburðir
Bókin ,,Reactive Systems: Modelling, Specification and Verification" eftir Luca Aceto og Önnu Ingólfsdóttur, prófessora í tölvunarfræði við Háskólann í Reykjavík, og Kim Guldstrand Larsen og Jiri Srba, Álaborgar Háskóla, er komin út. Útgefandinn er Cambridge University Press.
Bókin hefur fengið góðar móttökur séfræðinga og verður notuð sem kennslubók við háskóla víða um heim. Sjá nánar.
Bókina er hægt að kaupa á Amazon.
