Temporal Verification of Reactive Systems (Safety)

By Pnueli, Amir, Manna, Zohar

Temporal Verification of Reactive Systems (Safety)

By Pnueli, Amir, Manna, Zohar

£88.79

Temporal Verification of Reactive Systems (Safety)

By Pnueli, Amir, Manna, Zohar

Temporal Verification of Reactive Systems (Safety)

By Pnueli, Amir, Manna, Zohar

£88.74 Elsewhere ~~£99.99~~ Save £11.25 (11%)

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.

£45.02

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

£45.03

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

£45.67

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

£45.01

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

£45.13

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,

£48.50 Elsewhere ~~£54.99~~ Save £6.49 (12%)

27

Evolution of Knowledge Science (Myth to Medicine: Intelligent Internet-Based Humanist Machines)

By Ahamed, Syed V. (Department of Computer Science, City University

Evolution of Knowledge Science (Myth to Medicine: Intelligent Internet-Based Humanist Machines)

By Ahamed, Syed V. (Department of Computer Science, City University

£55.13 Elsewhere ~~£61.99~~ Save £6.86 (11%)

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

£47.10 Elsewhere ~~£51.99~~ Save £4.89 (9%)

C++ in One Hour a Day, Sams Teach Yourself (Sams Teach Yourself)

By Rao, Siddhartha

C++ in One Hour a Day, Sams Teach Yourself (Sams Teach Yourself)

By Rao, Siddhartha

£29.45 Elsewhere ~~£37.99~~ Save £8.54 (22%)

Better Python Code (A Guide for Aspiring Experts)

By Mertz, David

Better Python Code (A Guide for Aspiring Experts)

By Mertz, David

£25.34 Elsewhere ~~£39.99~~ Save £14.65 (37%)

Foundations of Component-Based Systems

By Gary T. Leavens, Murali Sitaraman

Foundations of Component-Based Systems

By Gary T. Leavens, Murali Sitaraman

£36.47 Elsewhere ~~£48.99~~ Save £12.52 (26%)

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

£78.48 Elsewhere ~~£110.00~~ Save £31.52 (29%)

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

£45.27 Elsewhere ~~£54.99~~ Save £9.72 (18%)

Cutting Down (An Evidence-Based CBT Workbook for Treating Young People Who Self-Harm)

By Taylor, Lucy, Simic, Mima, Ulrike Schmidt

Cutting Down (An Evidence-Based CBT Workbook for Treating Young People Who Self-Harm)

By Taylor, Lucy, Simic, Mima, Ulrike Schmidt

£37.45

Cutting Down (An Evidence-based CBT Workbook for Treating Young People Who Self-harm)

By Lucy Taylor, Mima Simic, Ulrike Schmidt

Cutting Down (An Evidence-based CBT Workbook for Treating Young People Who Self-harm)

By Lucy Taylor, Mima Simic, Ulrike Schmidt

£119 Elsewhere ~~£135.00~~ Save £16.00 (12%)

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

£88.73

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

£45.09

Beauty Is Our Business (A Birthday Salute to Edsger W. Dijkstra (Monographs in Computer Science))

By W.H.J. Feijen, A.J.M. van Gasteren, Jayadev Misra

Beauty Is Our Business (A Birthday Salute to Edsger W. Dijkstra (Monographs in Computer Science))

By W.H.J. Feijen, A.J.M. van Gasteren, Jayadev Misra

£177

C# for Financial Markets (The Wiley Finance Series)

By Duffy, Daniel J., Germani, Andrea

C# for Financial Markets (The Wiley Finance Series)

By Duffy, Daniel J., Germani, Andrea

£74.07

1

View:
Safe Search(?):