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