Engineering Theories of Software Intensive SystemsManfred Broy, Johannes Gruenbauer, David Harel, Tony HoareInbunden2 163 kr
Engineering Theories of Software Intensive SystemsManfred Broy, Johannes Gruenbauer, David Harel, Tony HoareHäftad2 163 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 100 kr
Algorithmic BioprocessesAnne Condon, David Harel, Joost N. Kok, Arto Salomaa, Erik WinfreeHäftad2 100 kr
Mathematics of Program Construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, ProceedingsDexter Kozen, Carron Shankland653 kr