Engineering Theories of Software Intensive SystemsManfred Broy, Johannes Gruenbauer, David Harel, Tony HoareInbunden2 183 kr
Engineering Theories of Software Intensive SystemsManfred Broy, Johannes Gruenbauer, David Harel, Tony HoareHäftad2 183 kr
Model Driven Engineering Languages and SystemsOscar Nierstrasz, Jon Whittle, David Harel, Gianna ReggioHäftad1 095 kr
Algorithmic BioprocessesJoost N. Kok, Anne Condon, David Harel, Joost N. Kok, Arto Salomaa, Erik WinfreeInbunden2 120 kr
Mathematics of Program Construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, ProceedingsDexter Kozen, Carron Shankland653 kr