Formal Methods for Open Object-Based Distributed Systems (IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy (IFIP Advances in Information and Communi)

By Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri

Formal Methods for Open Object-Based Distributed Systems (IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy (IFIP Advances in Information and Communi)

By Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri

£165

Synchronization in Real-Time Systems (A Priority Inheritance Approach (Springer International Series in Engineering and Computer Science The))

By Rajkumar, Ragunathan

Synchronization in Real-Time Systems (A Priority Inheritance Approach (Springer International Series in Engineering and Computer Science The))

By Rajkumar, Ragunathan

£88.93

High-Level System Modeling (Specification Languages (Current Issues in Electronic Modeling))

By Jean-Michel Berge, Jacques Rouillard, Jacques Rouillard

High-Level System Modeling (Specification Languages (Current Issues in Electronic Modeling))

By Jean-Michel Berge, Jacques Rouillard, Jacques Rouillard

£88.61

High-Level System Modeling (Specification and Design Methodologies (Current Issues in Electronic Modeling))

By Ron Waxman, Jean-Michel Berge, Oz Levia, Jacques Rouillard

High-Level System Modeling (Specification and Design Methodologies (Current Issues in Electronic Modeling))

By Ron Waxman, Jean-Michel Berge, Oz Levia, Jacques Rouillard

£128

Practical Foundations for Programming Languages

By Harper, Robert

Practical Foundations for Programming Languages

By Harper, Robert

£53.76 Elsewhere ~~£62.99~~ Save £9.23 (15%)

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

£35.84 Elsewhere ~~£51.99~~ Save £16.15 (31%)

Introduction to Choreographies

By Montesi, Fabrizio

Introduction to Choreographies

By Montesi, Fabrizio

£42.71 Elsewhere ~~£49.99~~ Save £7.28 (15%)

System Engineering Analysis, Design, and Development (Concepts, Principles, and Practices, Second Edition (Wiley Series in Systems Engineering and Management))

By Charles S. Wasson, Norman Augustine

System Engineering Analysis, Design, and Development (Concepts, Principles, and Practices, Second Edition (Wiley Series in Systems Engineering and Management))

By Charles S. Wasson, Norman Augustine

£95.62 Elsewhere ~~£114.95~~ Save £19.33 (17%)

Dependable Computing (Design and Assessment (IEEE Press))

By Ravishankar K. Iyer, Zbigniew T. Kalbarczyk, Nithin M. Nakka

Dependable Computing (Design and Assessment (IEEE Press))

By Ravishankar K. Iyer, Zbigniew T. Kalbarczyk, Nithin M. Nakka

£89.10 Elsewhere ~~£114.00~~ Save £24.90 (22%)

Patterns, Principles, and Practices of Domain-Driven Design

By Millett, Scott, Tune, Nick

Patterns, Principles, and Practices of Domain-Driven Design

By Millett, Scott, Tune, Nick

£34.14 Elsewhere ~~£50.00~~ Save £15.86 (32%)

375

Software Technology (10 Years of Innovation in IEEE Computer)

By Mike Hinchey

Software Technology (10 Years of Innovation in IEEE Computer)

By Mike Hinchey

£64.76 Elsewhere ~~£83.95~~ Save £19.19 (23%)

Augmented Exploitation (Artificial Intelligence, Automation and Work (Wildcat))

By Phoebe Moore, Jamie Woodcock

Augmented Exploitation (Artificial Intelligence, Automation and Work (Wildcat))

By Phoebe Moore, Jamie Woodcock

£19.79 Elsewhere ~~£22.99~~ Save £3.20 (14%)

Augmented Exploitation (Artificial Intelligence, Automation and Work (Wildcat))

By Phoebe Moore, Jamie Woodcock

Augmented Exploitation (Artificial Intelligence, Automation and Work (Wildcat))

By Phoebe Moore, Jamie Woodcock

£71.06 Elsewhere ~~£85.00~~ Save £13.94 (16%)

Haskell Bookcamp (Bookcamp)

By Hagenlocher, Philipp

Haskell Bookcamp (Bookcamp)

By Hagenlocher, Philipp

£40.38 Elsewhere ~~£45.99~~ Save £5.61 (12%)

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

£86.42 Elsewhere ~~£89.99~~ Save £3.57 (4%)

1

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.06

Compiling Esterel

By Dumitru Potop-Butucaru, Stephen A. Edwards, Gerard Berry

Compiling Esterel

By Dumitru Potop-Butucaru, Stephen A. Edwards, Gerard Berry

£110 Elsewhere ~~£129.99~~ Save £19.99 (15%)

Formal Methods for Embedded Distributed Systems (How to Master the Complexity)

By Fabrice Kordon, Michel Lemoine

Formal Methods for Embedded Distributed Systems (How to Master the Complexity)

By Fabrice Kordon, Michel Lemoine

£82.65 Elsewhere ~~£89.99~~ Save £7.34 (8%)

Foundations for Designing User-Centered Systems (What System Designers Need to Know about People)

By Ritter, Frank E., Churchill, Elizabeth F., Elizabeth F. Churchill

Foundations for Designing User-Centered Systems (What System Designers Need to Know about People)

By Ritter, Frank E., Churchill, Elizabeth F., Elizabeth F. Churchill

£32.22

Conquering Complexity

By Mike Hinchey, Lorcan Coyle

Conquering Complexity

By Mike Hinchey, Lorcan Coyle

£128

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

By Stølen, Ketil, Broy, Manfred

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

By Stølen, Ketil, Broy, Manfred

£42.16 Elsewhere ~~£44.99~~ Save £2.83 (6%)

High-Level System Modeling (Specification and Design Methodologies (Current Issues in Electronic Modeling))

By Ron Waxman, Jean-Michel Berge, Oz Levia, Jacques Rouillard

High-Level System Modeling (Specification and Design Methodologies (Current Issues in Electronic Modeling))

By Ron Waxman, Jean-Michel Berge, Oz Levia, Jacques Rouillard

£128

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, David Gries, 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, David Gries, Jayadev Misra

£165 Elsewhere ~~£179.99~~ Save £14.99 (8%)

Mobile Computation with Functions (Advances in Information Security)

By Kirli, Zeliha Dilsun

Mobile Computation with Functions (Advances in Information Security)

By Kirli, Zeliha Dilsun

£88.52

View:
Safe Search(?):