GetTextbooks.co.uk    Compare Prices & Save up to 90% Search by ISBN, title, author, etc ...

Login | Sign up | My Wish List

Books 1 - 2 of 2 | Previous | Next FM 2006, Formal Methods: 14th International Symposium on Formal Methodshamilton, Canada, August 21-27, 2006 Proceedings (Lecture Notes in Computer Science): ... (Lecture Notes in Computer Science) by Jayadev Misra (Editor), Tobias Nipkow (Editor), Emil Sekerinski (Editor) Paperback, 620 Pages, Published 2006 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K Compare Prices | Add to Wish List | Set Price Alert Program Development by Refinement: Case Studies Using the B Method (Formal Approaches to Computing & Information Technology (FACIT)) by Emil Sekerinski (Editor), Kaisa Sere (Editor) Paperback, 364 Pages, Published 1998 by Springer London Ltd Compare Prices | Add to Wish List | Set Price Alert Books 1 - 2 of 2 | Previous | Next

Home | Browse | Professors | Merchants | Webmasters | Contact Us

[ United States | Canada ]

Copyright © 2003-2008 GetTextbooks.co.uk