| | Books 1 - 5 of 5 | Previous | Next | 
|  | | Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-0, 2002. Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Eerke A. Boiten (Editor), Bernhard Möller (Editor)
Paperback, 263 Pages, Published 2002 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Refinement in Z and Object-Z: Foundations and Advanced Applications (Formal Approaches to Computing and Information Technology (FACIT)) (1st Edition)
by John Derrick, Eerke A. Boiten
Paperback, 466 Pages, Published 2001 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Eerke Boiten (Editor), John Derrick (Editor), Graeme Smith (Editor)
Paperback, 541 Pages, Published 2004 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Mathematics of Program Construction: 6th International Conference, Mpc2002, Dagstuhl Castle, Germany, July 8-10, 2002 Proceedings
by Eerke A., Bernhard Moller Boiten
Paperback, Published 2002 by Publisher Unknown
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Mathematics of Program Construction: 6th International Conference, Mpc 2002, Dag
by Eerke A., Bernhard Moller Boiten
Paperback, Published 2002 by HeidelbergHeidelberg: Springer Verlag,
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 5 of 5 | Previous | Next |
|