Name: FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings (Programming and Software Engineering)
Brand: Springer
SKU: 51844171
Price: 1000 HKD
Availability: InStock

Hands-On Start to Wolfram Mathematica (And Programming with the Wolfram Language)

By Hastings, Cliff, Mischo, Kelvin, Michael Morrison

Hands-On Start to Wolfram Mathematica (And Programming with the Wolfram Language)

By Hastings, Cliff, Mischo, Kelvin, Michael Morrison

HK$267 Elsewhere ~~HK$290.20~~ Save HK$23.20 (8%)

Agile 2 - The Next Iteration of Agile

By Kurt Cagle, Lisa Cooney, Cliff Berg

Agile 2 - The Next Iteration of Agile

By Kurt Cagle, Lisa Cooney, Cliff Berg

HK$223

Theories of Programming (The Life and Works of Tony Hoare (ACM Collection II))

By Cliff B. Jones, Jayadev Misra

Theories of Programming (The Life and Works of Tony Hoare (ACM Collection II))

By Cliff B. Jones, Jayadev Misra

HK$450

SQL- a Simple Introduction by Cliff (SQL Beginnings)

By Beacham, Cliff

SQL- a Simple Introduction by Cliff (SQL Beginnings)

By Beacham, Cliff

HK$269

Object Orientation with Parallelism and Persistence (The Springer International Series in Engineering and Computer Science)

By Freitag, Burkhard, Jones, Cliff B., Christian Lengauer, Hans-Jorg Schek

Object Orientation with Parallelism and Persistence (The Springer International Series in Engineering and Computer Science)

By Freitag, Burkhard, Jones, Cliff B., Christian Lengauer, Hans-Jorg Schek

HK$1,396

ActionScript Developer's Guide to Puremvc (Code at the Speed of Thought)

By Hall, Cliff

ActionScript Developer's Guide to Puremvc (Code at the Speed of Thought)

By Hall, Cliff

HK$214 Elsewhere ~~HK$240.48~~ Save HK$26.48 (11%)

Theories of Programming (The Life and Works of Tony Hoare (ACM Collection II))

By Cliff B. Jones, Jayadev Misra

Theories of Programming (The Life and Works of Tony Hoare (ACM Collection II))

By Cliff B. Jones, Jayadev Misra

HK$636

Object Orientation with Parallelism and Persistence (The Springer International Series in Engineering and Computer Science)

By Stage150livetest Stage150livetest, Cliff Jones, Christian Lengauer, Hans-Jorg Schek

Object Orientation with Parallelism and Persistence (The Springer International Series in Engineering and Computer Science)

By Stage150livetest Stage150livetest, Cliff Jones, Christian Lengauer, Hans-Jorg Schek

HK$1,276

Interoperating Geographic Information Systems (The Springer International Series in Engineering and Computer Science)

By Michael F. Goodchild, Max J. Egenhofer, Robin Fegeas, Cliff Kottman

Interoperating Geographic Information Systems (The Springer International Series in Engineering and Computer Science)

By Michael F. Goodchild, Max J. Egenhofer, Robin Fegeas, Cliff Kottman

HK$1,756

Beginning Samsung Artik (A Guide for Developers: 2016)

By Wootton, Cliff

Beginning Samsung Artik (A Guide for Developers: 2016)

By Wootton, Cliff

HK$390

Samsung ARTIK Reference (The Definitive Developers Guide)

By Wootton, Cliff

Samsung ARTIK Reference (The Definitive Developers Guide)

By Wootton, Cliff

HK$800

Structure for Dependability (Computer-Based Systems from an Interdisciplinary Perspective)

By Besnard, Denis, Gacek, Cristina, Cliff Jones

Structure for Dependability (Computer-Based Systems from an Interdisciplinary Perspective)

By Besnard, Denis, Gacek, Cristina, Cliff Jones

HK$1,000

Symposium on Real-Time and Hybrid Systems (Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday (Lecture Notes in Computer Science))

By Cliff Jones, Ji Wang, Naijun Zhan

Symposium on Real-Time and Hybrid Systems (Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday (Lecture Notes in Computer Science))

By Cliff Jones, Ji Wang, Naijun Zhan

HK$471

Understanding Programming Languages

By Jones, Cliff B.

Understanding Programming Languages

By Jones, Cliff B.

HK$640

VDM '87, VDM, a Formal Method at Work (VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Dines Bjorner, Cliff Jones, Michael Mac an Airchinnigh, Erich J. Neuhold

VDM '87, VDM, a Formal Method at Work (VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Dines Bjorner, Cliff Jones, Michael Mac an Airchinnigh, Erich J. Neuhold

HK$500

5th Refinement Workshop (Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992 (Workshops in Computing))

By Cliff B. Jones, Roger C. Shaw, Tim Denvir

5th Refinement Workshop (Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992 (Workshops in Computing))

By Cliff B. Jones, Roger C. Shaw, Tim Denvir

HK$500

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) (Theoretical Computer Science and General Issues))

By Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders

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) (Theoretical Computer Science and General Issues))

By Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders

HK$600

Rigorous Development of Complex Fault-Tolerant Systems (Lecture Notes in Computer Science) (Programming and Software Engineering)

By Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna

Rigorous Development of Complex Fault-Tolerant Systems (Lecture Notes in Computer Science) (Programming and Software Engineering)

By Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna

HK$500

Fme '97: Industrial Applications and Strengthened Foundations of Formal Methods (4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997: Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intel)

By John Fitzgerald, Cliff B. Jones, P. Lucas

Fme '97: Industrial Applications and Strengthened Foundations of Formal Methods (4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997: Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intel)

By John Fitzgerald, Cliff B. Jones, P. Lucas

HK$981

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) (Theoretical Computer Science and General Issues))

By James Woodcock, Cliff B. Jones, Zhiming Liu

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) (Theoretical Computer Science and General Issues))

By James Woodcock, Cliff B. Jones, Zhiming Liu

HK$557

Theoretical Aspects of Computing - ICTAC 2007 (4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings (Lecture Notes in Computer Science))

By Cliff B. Jones, Zhiming Liu, Jim Woodcock

Theoretical Aspects of Computing - ICTAC 2007 (4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings (Lecture Notes in Computer Science))

By Cliff B. Jones, Zhiming Liu, Jim Woodcock

HK$540

Methods, Models and Tools for Fault Tolerance (Lecture Notes in Computer Science) (Programming and Software Engineering)

By Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna

Methods, Models and Tools for Fault Tolerance (Lecture Notes in Computer Science) (Programming and Software Engineering)

By Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna

HK$500

Dependable and Historic Computing (Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday (Theoretical Computer Science and General Issues))

By Cliff B. Jones, John L. Lloyd

Dependable and Historic Computing (Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday (Theoretical Computer Science and General Issues))

By Cliff B. Jones, John L. Lloyd

HK$578

FM 2014: Formal Methods (19th International Symposium, Singapore, May 12-16, 2014. Proceedings (Programming and Software Engineering))

By Cliff Jones, Pekka Pihlajasaari, Jun Sun

FM 2014: Formal Methods (19th International Symposium, Singapore, May 12-16, 2014. Proceedings (Programming and Software Engineering))

By Cliff Jones, Pekka Pihlajasaari, Jun Sun

HK$1,000

View:
Safe Search(?):