| | Books 1 - 10 of 10 | Previous | Next | 
|  | | Systematic Software Development Using Vdm (Prentice-Hall International Series in Computer Science) (2 Sub Edition)
by <<<b>bb>><b>bb>b>bb>>><<b>bb>><b>Cliffb>b>bb>>b>bb>><b>bb>b>bb>>> <<b>bb>><b>Bb>b>bb>>. <<b>bb>><b>Jonesb>b>bb>>
Paperback, 350 Pages, Published 1990 by Prentice Hall, 2 Sub Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings (Lecture Notes in Computer Science) (1st Edition)
by <<<b>bb>><b>bb>b>bb>>><<b>bb>><b>Cliffb>b>bb>>b>bb>><b>bb>b>bb>>> <<b>bb>><b>Bb>b>bb>>. <<b>bb>><b>Jonesb>b>bb>> (Editor), Zhiming Liu (Editor), <<b>bb>><b>Jonesb>b>bb>> Woodcock (Editor)
Paperback, 483 Pages, Published 2007 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Object Orientation with Parallelism and Persistence (The Springer International Series in Engineering and Computer Science) (1st Edition)
by Burkhard Freitag, <<<b>bb>><b>bb>b>bb>>><<b>bb>><b>Cliffb>b>bb>>b>bb>><b>bb>b>bb>>> <<b>bb>><b>Bb>b>bb>>. <<b>bb>><b>Jonesb>b>bb>>, Christian Lengauer, Hans-Jörg Schek
Hardcover, 248 Pages, Published 1996 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers (Lecture Notes in Computer Science) (1st Edition)
by Ali E. Abdallah (Editor), <<<b>bb>><b>bb>b>bb>>><<b>bb>><b>Cliffb>b>bb>>b>bb>><b>bb>b>bb>>> <<b>bb>><b>Bb>b>bb>>. <<b>bb>><b>Jonesb>b>bb>> (Editor), Jeff W. Sanders (Editor)
Paperback, 321 Pages, Published 2005 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science) (1st Edition)
by <<<b>bb>><b>bb>b>bb>>><<b>bb>><b>Cliffb>b>bb>>b>bb>><b>bb>b>bb>>> <<b>bb>><b>Bb>b>bb>>. <<b>bb>><b>Jonesb>b>bb>> (Editor), Zhiming Liu (Editor), Jim Woodcock (Editor)
Paperback, 539 Pages, Published 2007 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Case Studies in Systematic Software Development (Prentice-Hall International Series in Computer Science)
by <<<b>bb>><b>bb>b>bb>>><<b>bb>><b>Cliffb>b>bb>>b>bb>><b>bb>b>bb>>> <<b>bb>><b>Bb>b>bb>>. <<b>bb>><b>Jonesb>b>bb>>, Roger C. F. Shaw (Editor)
Paperback, 416 Pages, Published 1990 by Prentice Hall
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Software Development
by <<<b>bb>><b>bb>b>bb>>><<b>bb>><b>Cliffb>b>bb>>b>bb>><b>bb>b>bb>>> <<b>bb>><b>Bb>b>bb>>. <<b>bb>><b>Jonesb>b>bb>>
Hardcover, 400 Pages, Published 1980 by Prentice Hall
Compare Prices | Add to Wish List | Set Price Alert |
|  | | FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, September ... (Lecture Notes in Computer Science) (1st Edition)
by John Fitzgerald (Editor), <<<b>bb>><b>bb>b>bb>>><<b>bb>><b>Cliffb>b>bb>>b>bb>><b>bb>b>bb>>> <<b>bb>><b>Bb>b>bb>>. <<b>bb>><b>Jonesb>b>bb>> (Editor), Peter Lucas (Editor)
Paperback, 685 Pages, Published 1997 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | 5th Refinement Workshop (Workshops in Computing)
by <<<b>bb>><b>bb>b>bb>>><<b>bb>><b>Cliffb>b>bb>>b>bb>><b>bb>b>bb>>> <<b>bb>><b>Bb>b>bb>>. <<b>bb>><b>Jonesb>b>bb>> (Editor), R.C. Shaw (Editor), T. Denvir (Editor)
Paperback, 392 Pages, Published 1992 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Software Development, a Rigorous Approach,
by <<<b>bb>><b>bb>b>bb>>><<b>bb>><b>Cliffb>b>bb>>b>bb>><b>bb>b>bb>>> <<b>bb>><b>Bb>b>bb>>., <<b>bb>><b>Jonesb>b>bb>>
Hardcover, Published 1432 by Prentice Hall
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 10 of 10 | Previous | Next |
|