Name: Formal Methods for Embedded Distributed Systems: How to Master the Complexity
Brand: Springer
SKU: 10841832
Price: 89.95 GBP
Availability: InStock

Topics in Applied Mechanics (Integration of Theory and Applications in Applied Mechanics)

By J.F. Dijksman, F.T.M. Nieuwstadt

Topics in Applied Mechanics (Integration of Theory and Applications in Applied Mechanics)

By J.F. Dijksman, F.T.M. Nieuwstadt

£180

Formal Techniques for Networked and Distributed Systems (FORTE 2001 (IFIP Advances in Information and Communication Technology))

By Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee

Formal Techniques for Networked and Distributed Systems (FORTE 2001 (IFIP Advances in Information and Communication Technology))

By Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee

£177

Dependable Network Computing (The Springer International Series in Engineering and Computer Science)

By Dimiter R. Avresky

Dependable Network Computing (The Springer International Series in Engineering and Computer Science)

By Dimiter R. Avresky

£177

Discrete Event Systems (Analysis and Control (The Springer International Series in Engineering and Computer Science))

By R. Boel, G. Stremersch

Discrete Event Systems (Analysis and Control (The Springer International Series in Engineering and Computer Science))

By R. Boel, G. Stremersch

£89.40

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

Underwater Robots

By Junku Yuh, Tamaki Ura, George A. Bekey

Underwater Robots

By Junku Yuh, Tamaki Ura, George A. Bekey

£245 Elsewhere ~~£289.50~~ Save £44.50 (15%)

A Guide to Task Analysis (The Task Analysis Working Group)

By B. Kirwan, L.K. Ainsworth

A Guide to Task Analysis (The Task Analysis Working Group)

By B. Kirwan, L.K. Ainsworth

£139 Elsewhere ~~£220.00~~ Save £81.00 (37%)

A Guide to Task Analysis (The Task Analysis Working Group)

By B. Kirwan, L.K. Ainsworth

A Guide to Task Analysis (The Task Analysis Working Group)

By B. Kirwan, L.K. Ainsworth

£80.57 Elsewhere ~~£89.99~~ Save £9.42 (10%)

Rigorous Software Development (An Introduction to Program Verification (Undergraduate Topics in Computer Science))

By Almeida, José Bacelar, Frade, Maria João, Jorge Sousa Pinto

Rigorous Software Development (An Introduction to Program Verification (Undergraduate Topics in Computer Science))

By Almeida, José Bacelar, Frade, Maria João, Jorge Sousa Pinto

£27.24

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

£46.12

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

£177

VLSI Specification, Verification and Synthesis (The Springer International Series in Engineering and Computer Science)

By Graham Birtwistle, P. A. Subrahmanyam

VLSI Specification, Verification and Synthesis (The Springer International Series in Engineering and Computer Science)

By Graham Birtwistle, P. A. Subrahmanyam

£88.65

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

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

By Jean-Michel Bergé, Oz Levia, Jacques Rouillard

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

By Jean-Michel Bergé, Oz Levia, Jacques Rouillard

£88.55

Discrete Event Systems (Analysis and Control (The Springer International Series in Engineering and Computer Science))

By R. Boel, Geert Stremersch

Discrete Event Systems (Analysis and Control (The Springer International Series in Engineering and Computer Science))

By R. Boel, Geert Stremersch

£88.71

Dependable Network Computing (The Springer International Series in Engineering and Computer Science)

By Dimitri R. Avresky

Dependable Network Computing (The Springer International Series in Engineering and Computer Science)

By Dimitri R. Avresky

£180

Computational Analysis of Terrorist Groups (Lashkar-e-Taiba)

By Subrahmanian, V. S., Mannes, Aaron, Amy Sliva, Jana Shakarian

Computational Analysis of Terrorist Groups (Lashkar-e-Taiba)

By Subrahmanian, V. S., Mannes, Aaron, Amy Sliva, Jana Shakarian

£108

Information Processing and Security Systems

By Khalid Saeed, Jerzy Pejas

Information Processing and Security Systems

By Khalid Saeed, Jerzy Pejas

£180

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

£179

Building the Information Society (IFIP 18th World Computer Congress Topical Sessions 22-27 August 2004 Toulouse, France (IFIP Advances in Information and Communication Technology))

By Rene Jacquart

Building the Information Society (IFIP 18th World Computer Congress Topical Sessions 22-27 August 2004 Toulouse, France (IFIP Advances in Information and Communication Technology))

By Rene Jacquart

£130

Malware Detection (Advances in Information Security)

By Mihai Christodorescu, Somesh Jha, Douglas Maughan, Dawn Song

Malware Detection (Advances in Information Security)

By Mihai Christodorescu, Somesh Jha, Douglas Maughan, Dawn Song

£200 Elsewhere ~~£249.99~~ Save £49.99 (20%)

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

£89.95

View:
Safe Search(?):