eBook wishes?
View list

My eBookMall

Sign In | Register
 
Shop for eBooks!

Your cart wants some eBooks!

Don't forget
to grab some
free ebooks
on the way!


You are here:  eBook Store › Authors › Kim Guldstrand Larsen

Kim Guldstrand Larsen eBooks


Share on Facebook
Google+
Share on Twitter

eBooks found: 1
Reactive Systems
Cambridge University Press, July 2007
ISBN: 9780521875462
Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into >>
List Price: $76.00 eBook price: $70.99