Temporal Verification of Reactive Systems (Safety)

By Pnueli, Amir, Manna, Zohar

Temporal Verification of Reactive Systems (Safety)

By Pnueli, Amir, Manna, Zohar

HK$998

Achieving Quality Software (Including Its Application to Safety-Related Systems)

By Smith, D. J.

Achieving Quality Software (Including Its Application to Safety-Related Systems)

By Smith, D. J.

HK$500

Computer Safety, Reliability, and Security (42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings (Lecture Notes in Computer Science))

By Jeremie Guiochet, Stefano Tonetta, Friedemann Bitsch

Computer Safety, Reliability, and Security (42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings (Lecture Notes in Computer Science))

By Jeremie Guiochet, Stefano Tonetta, Friedemann Bitsch

HK$560

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops (ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings (Lecture Notes in Computer Science))

By Jérémie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops (ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings (Lecture Notes in Computer Science))

By Jérémie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy

HK$700

Computer Safety, Reliability and Security (20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings (Lecture Notes in Computer Science))

By Udo Voges

Computer Safety, Reliability and Security (20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings (Lecture Notes in Computer Science))

By Udo Voges

HK$500

Computer Safety, Reliability, and Security (25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings (Programming and Software Engineering))

By Janusz Gorski

Computer Safety, Reliability, and Security (25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings (Programming and Software Engineering))

By Janusz Gorski

HK$672

Computer Safety, Reliability and Security (17th International Conference, SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998: Proceedings (Lecture Notes in Computer Science))

By Wolfgang Ehrenberger

Computer Safety, Reliability and Security (17th International Conference, SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998: Proceedings (Lecture Notes in Computer Science))

By Wolfgang Ehrenberger

HK$533

Computer Safety, Reliability, and Security (SAFECOMP 2012 Workshops : Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE : Magdeburg, Germany, September 25-28 2012 : Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Frank Ortmeier, Peter Daniel

Computer Safety, Reliability, and Security (SAFECOMP 2012 Workshops : Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE : Magdeburg, Germany, September 25-28 2012 : Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Frank Ortmeier, Peter Daniel

HK$560

Real-Time Design Patterns (Robust Scalable Architecture for Real-Time Systems [With CDROM])

By Douglass, Bruce Powel

Real-Time Design Patterns (Robust Scalable Architecture for Real-Time Systems [With CDROM])

By Douglass, Bruce Powel

HK$760

1

Agile Systems Engineering

By Douglass, Bruce Powel (Chief Evangelist, IBM Internet of Things,

Agile Systems Engineering

By Douglass, Bruce Powel (Chief Evangelist, IBM Internet of Things,

HK$536 Elsewhere ~~HK$564.97~~ Save HK$28.97 (5%)

27

Agile Management for Software Engineering (Applying the Theory of Constraints for Business Results)

By Paul J. Deitel, T. R. Nieto, David McPhie, David J. Anderson

Agile Management for Software Engineering (Applying the Theory of Constraints for Business Results)

By Paul J. Deitel, T. R. Nieto, David McPhie, David J. Anderson

HK$760

1

Software Architecture in Practice (SEI Series in Software Engineering)

By Len Bass, Paul Clements, Rick Kazman

Software Architecture in Practice (SEI Series in Software Engineering)

By Len Bass, Paul Clements, Rick Kazman

HK$538

Software Engineering (United States Edition)

By Ian Sommerville

Software Engineering (United States Edition)

By Ian Sommerville

HK$791 Elsewhere ~~HK$1,181.42~~ Save HK$390.42 (33%)

1

Systems Thinking in Europe

By R. B. Blackham, Robert Louis Flood, M.C. Jackson, G. J. Mansell

Systems Thinking in Europe

By R. B. Blackham, Robert Louis Flood, M.C. Jackson, G. J. Mansell

HK$900

Foundations of Component-Based Systems

By Gary T. Leavens, Murali Sitaraman

Foundations of Component-Based Systems

By Gary T. Leavens, Murali Sitaraman

HK$434 Elsewhere ~~HK$503.33~~ Save HK$69.33 (14%)

Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science)

By Jim Davies

Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science)

By Jim Davies

HK$787 Elsewhere ~~HK$1,130.15~~ Save HK$343.15 (30%)

Next-Generation Enterprise Security and Governance (Internal Audit and IT Audit)

By Mohiuddin Ahmed, Nour Moustafa, Abu Barkat, Paul Haskell-Dowland

Next-Generation Enterprise Security and Governance (Internal Audit and IT Audit)

By Mohiuddin Ahmed, Nour Moustafa, Abu Barkat, Paul Haskell-Dowland

HK$660 Elsewhere ~~HK$883.58~~ Save HK$223.58 (25%)

Embedded Software Development (The Open-Source Approach (Embedded Systems))

By Ivan Cibrario Bertolotti, Tingting Hu

Embedded Software Development (The Open-Source Approach (Embedded Systems))

By Ivan Cibrario Bertolotti, Tingting Hu

HK$640

Information Processing and Security Systems

By Khalid Saeed, Jerzy Pejas

Information Processing and Security Systems

By Khalid Saeed, Jerzy Pejas

HK$1,936

From Specification to Embedded Systems Application (IFIP Advances in Information and Communication Technology)

By Achim Rettberg, Mauro C. Zanella, Franz J. Rammig

From Specification to Embedded Systems Application (IFIP Advances in Information and Communication Technology)

By Achim Rettberg, Mauro C. Zanella, Franz J. Rammig

HK$1,077

Software Engineering Techniques (Design for Quality (IFIP Advances in Information and Communication Technology))

By Krzysztof M. Sacha

Software Engineering Techniques (Design for Quality (IFIP Advances in Information and Communication Technology))

By Krzysztof M. Sacha

HK$980

Specification and Development of Interactive Systems (FOCUS on Streams, Interfaces and Refinement (Monographs in Computer Science))

By Manfred Broy, Ketil Stolen

Specification and Development of Interactive Systems (FOCUS on Streams, Interfaces and Refinement (Monographs in Computer Science))

By Manfred Broy, Ketil Stolen

HK$557

C++ Cookbook (Solutions and Examples for C++ Programmers)

By Stephens, D Ryan, Diggins, Christopher, Jonathan Turkanis, Jeff Cogswell

C++ Cookbook (Solutions and Examples for C++ Programmers)

By Stephens, D Ryan, Diggins, Christopher, Jonathan Turkanis, Jeff Cogswell

HK$323 Elsewhere ~~HK$410.86~~ Save HK$87.86 (21%)

1

Effective C++ (55 Specific Ways to Improve Your Programs and Designs (Addison-Wesley Professional Computing Series))

By Meyers, Scott

Effective C++ (55 Specific Ways to Improve Your Programs and Designs (Addison-Wesley Professional Computing Series))

By Meyers, Scott

HK$441

3,333

View:
Safe Search(?):