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

HK$1,790

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

HK$1,033

Mobile Computation with Functions (Advances in Information Security)

By Kirli, Zeliha Dilsun

Mobile Computation with Functions (Advances in Information Security)

By Kirli, Zeliha Dilsun

HK$897

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

HK$900

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

HK$1,755 Elsewhere ~~HK$1,853.70~~ Save HK$98.70 (5%)

Mobile Computation with Functions (Advances in Information Security)

By Zeliha Dilsun Kirli

Mobile Computation with Functions (Advances in Information Security)

By Zeliha Dilsun Kirli

HK$900

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

HK$500

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

HK$693

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

HK$537

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

HK$700

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

HK$600

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

HK$500

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

HK$560

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

HK$580

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

HK$1,000

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

HK$500

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

HK$559

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

HK$1,035

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

HK$896

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

HK$500

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

HK$1,079

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

HK$500

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

HK$500

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

HK$552

View:
Safe Search(?):