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

£182

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

£91.29

Mobile Computation with Functions (Advances in Information Security)

By Kirli, Zeliha Dilsun

Mobile Computation with Functions (Advances in Information Security)

By Kirli, Zeliha Dilsun

£90.88

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

£90.91

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 Elsewhere ~~£179.99~~ Save £14.99 (8%)

Mobile Computation with Functions (Advances in Information Security)

By Zeliha Dilsun Kirli

Mobile Computation with Functions (Advances in Information Security)

By Zeliha Dilsun Kirli

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

Programming Languages and Systems (18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings (Lecture Notes in Computer Science))

By Bruno C. d. S. Oliveira

Programming Languages and Systems (18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings (Lecture Notes in Computer Science))

By Bruno C. d. S. Oliveira

£46.18

Runtime Verification (23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings (Lecture Notes in Computer Science))

By Panagiotis Katsaros, Laura Nenzi

Runtime Verification (23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings (Lecture Notes in Computer Science))

By Panagiotis Katsaros, Laura Nenzi

£61.46

UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications (6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings (Lecture Notes in Computer Science))

By Perdita Stevens, John Whittle, Grady Booch

UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications (6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings (Lecture Notes in Computer Science))

By Perdita Stevens, John Whittle, Grady Booch

£46.20

Foundations of Software Science and Computation Structures (8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, April 4-8, 2005 : Proceedings (Lecture Notes)

By Vladimiro Sassone

Foundations of Software Science and Computation Structures (8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, April 4-8, 2005 : Proceedings (Lecture Notes)

By Vladimiro Sassone

£46.89

Static Analysis (12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Chris Hankin, Igor Siveroni

Static Analysis (12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Chris Hankin, Igor Siveroni

£46.73

Trustworthy Global Computing (International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Rocco De Nicola, Davide Sangiorgi

Trustworthy Global Computing (International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Rocco De Nicola, Davide Sangiorgi

£46.18

Reliable Software Technologies - Ada-Europe 2006 (11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Luis Miguel Pinho, Michael Gonzalez Harbour

Reliable Software Technologies - Ada-Europe 2006 (11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Luis Miguel Pinho, Michael Gonzalez Harbour

£46.36

Formal Methods for Open Object-Based Distributed Systems (8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Roberto Gorrieri, Heike Wehrheim

Formal Methods for Open Object-Based Distributed Systems (8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Roberto Gorrieri, Heike Wehrheim

£46.40

FM 2006, Formal Methods (14th International Symposium on Formal Methodshamilton, Canada, August 21-27, 2006 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Jayadev Misra, Tobias Nipkow, Emil Sekerinski

FM 2006, Formal Methods (14th International Symposium on Formal Methodshamilton, Canada, August 21-27, 2006 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Jayadev Misra, Tobias Nipkow, Emil Sekerinski

£95.69

Model Checking Software (8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 - Proceedings (Lecture Notes in Computer Science))

By Matthew B. Dwyer

Model Checking Software (8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 - Proceedings (Lecture Notes in Computer Science))

By Matthew B. Dwyer

£46.20

Static Analysis (9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings (Lecture Notes in Computer Science))

By Manuel Hermenegildo, German Puebla

Static Analysis (9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings (Lecture Notes in Computer Science))

By Manuel Hermenegildo, German Puebla

£46.27

FME '94: Industrial Benefit of Formal Methods (Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings (Lecture Notes in Computer Science))

By Maurice Naftalin, Tim Denvir, Miquel Bertran

FME '94: Industrial Benefit of Formal Methods (Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings (Lecture Notes in Computer Science))

By Maurice Naftalin, Tim Denvir, Miquel Bertran

£91.30

Formal Methods for Industrial Applications (Specifying and Programming the Steam Boiler Control (Lecture Notes in Computer Science))

By Jean-Raymond Abrial, Egon Börger, Hans Langmaack

Formal Methods for Industrial Applications (Specifying and Programming the Steam Boiler Control (Lecture Notes in Computer Science))

By Jean-Raymond Abrial, Egon Börger, Hans Langmaack

£91

Fundamental Approaches to Software Engineering (First International Conference, FASE '98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings (Lecture Notes)

By Egidio Astesiano

Fundamental Approaches to Software Engineering (First International Conference, FASE '98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings (Lecture Notes)

By Egidio Astesiano

£46.21

FM'99 - Formal Methods (World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II (Lecture Notes in Computer Science))

By Jeannette M. Wing, Jim Woodcook, Jim Davies

FM'99 - Formal Methods (World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II (Lecture Notes in Computer Science))

By Jeannette M. Wing, Jim Woodcook, Jim Davies

£103

Reliable Software Technologies Ada-Europe 2000 (5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Hubertus B. Keller, Erhard Plödereder

Reliable Software Technologies Ada-Europe 2000 (5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Hubertus B. Keller, Erhard Plödereder

£46.15

Formal Methods for Open Object-Based Distributed Systems (10th Ifip Wg 6.1 International Conference, Fmoods 2008, Oslo, Norway, June 4-6, 2008 Proceed)

By Gilles Barthe, Frank S. de Boer

Formal Methods for Open Object-Based Distributed Systems (10th Ifip Wg 6.1 International Conference, Fmoods 2008, Oslo, Norway, June 4-6, 2008 Proceed)

By Gilles Barthe, Frank S. de Boer

£46.18

Fundamental Approaches to Software Engineering (10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings (Lecture Notes in C)

By Matthew B. Dwyer, Antonia Lopes

Fundamental Approaches to Software Engineering (10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings (Lecture Notes in C)

By Matthew B. Dwyer, Antonia Lopes

£46.26

View:
Safe Search(?):