Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

Name: Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
Price: 80.50 CAD
Availability: InStock
Author: Gilles Barthe
ISBN: 9783540688624

Gilles Barthe

29 mai 2008

80,50 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 403 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

259

Programming and Software Engineering

Publié par: Springer/Sci-Tech/Trade

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783540688624

Principles Of Distributed Systems: 13th International Conference, Opodis 2009, Nimes, France, December 15-18, 2009. Proceedings

Tarek F. Abdelzaher Couverture souple
80,50 $
Semantic Systems. The Power Of Ai And Knowledge Graphs: 15th International Conference, Semantics 2019, Karlsruhe, Germany, September 9-12, 2019, Proceedings

Maribel Acosta Couverture souple
87,95 $
2 formats offerts
Internet of Things. Advances in Information and Communication Technology: 6th IFIP International Cross-Domain Conference, IFIPIoT 2023, Denton, TX, USA, November 2-3, 2023, Proceedings, Part I

Deepak Puthal Couverture rigide
175,50 $
2 formats offerts
WSDM '18: Proceedings of the Eleventh ACM International Conference on Web Search and Data Mining

WSDM Couverture souple
265,00 $
Parallel Computational Technologies: 18th International Conference, PCT 2024, Chelyabinsk, Russia, April 2-4, 2024, Revised Selected Papers

Leonid Sokolinsky Couverture souple
124,50 $
Semantic Systems. In the Era of Knowledge Graphs: 16th International Conference on Semantic Systems, SEMANTiCS 2020, Amsterdam, The Netherlands, September 7-10, 2020, Proceedings

Eva Blomqvist Couverture souple
72,95 $
2 formats offerts
System Development and Ada: CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings

Couverture souple
71,50 $
Internet of Things. Advances in Information and Communication Technology: 6th IFIP International Cross-Domain Conference, IFIPIoT 2023, Denton, TX, USA, November 2-3, 2023, Proceedings, Part II

Deepak Puthal Couverture rigide
160,95 $
2 formats offerts
Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA

Scott F. Smith Couverture souple
321,50 $
2 formats offerts
OpenMP: Portable Multi-Level Parallelism on Modern Systems: 16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22-24, 2020, Proceedings

Kent Milfeld Couverture souple
124,50 $
2 formats offerts
Rugged Embedded Systems: Computing In Harsh Environments

Augusto Vega Couverture souple
177,95 $
2 formats offerts
Evolving OpenMP for Evolving Architectures: 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26-28, 2018, Proceedings

Bronis R. de Supinski Couverture souple
80,50 $
2 formats offerts
Internet of Things. Information Processing in an Increasingly Connected World: First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers

Leon Strous Couverture rigide
124,50 $
2 formats offerts
Analysis, Architectures and Modelling of Embedded Systems: Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009, Proceedings

Achim Rettberg Couverture souple
160,95 $
2 formats offerts
Modelling Autonomic Communications Environments: Fourth IEEE International Workshop, MACE 2009, Venice, Italy, October 26-27, 2009, Proceedings

John C. Strassner Couverture souple
80,50 $
Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation: 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers

Jos Monteiro Couverture souple
80,50 $
Tron Project 1987 Open-architecture Computer Systems: Proceedings Of The Third Tron Project Symposium

Couverture souple
71,50 $
Proceedings of the 6th International Conference on Big Data and Internet of Things

Couverture souple
389,95 $
2 formats offerts
Internet of Things. Technology and Applications: 4th IFIP International Cross-Domain Conference, IFIPIoT 2021, Virtual Event, November 4-5, 2021, Revised Selected Papers

Luis M. Camarinha-Matos Couverture souple
145,95 $
Internet of Things. A Confluence of Many Disciplines: Second IFIP International Cross-Domain Conference, IFIPIoT 2019, Tampa, FL, USA, October 31 - November 1, 2019, Revised Selected Papers

Augusto Casaca Couverture rigide
80,50 $
2 formats offerts

Évaluation éditoriale

Auteur

Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings

Roberto Gorrieri Couverture souple
80,50 $
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

Paolo Ciancarini Couverture souple
321,50 $
2 formats offerts
Evolving OpenMP for Evolving Architectures: 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26-28, 2018, Proceedings

Bronis R. de Supinski Couverture souple
80,50 $
2 formats offerts
Service-oriented And Cloud Computing: 7th Ifip Wg 2.14 European Conference, Esocc 2018, Como, Italy, September 12-14, 2018, Proceedings

Kyriakos Kritikos Couverture souple
80,50 $
2 formats offerts
Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA

Scott F. Smith Couverture souple
321,50 $
2 formats offerts
Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

Erika Ábrah Couverture souple
80,50 $
Designing Modern Embedded Systems: Software, Hardware, and Applications: 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022, Proceedings

Stefan Henkler Couverture rigide
145,95 $
2 formats offerts
Distributed Applications and Interoperable Systems: 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings

Frank Eliassen Couverture souple
80,50 $
Coordination Models and Languages: 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

Couverture souple
80,50 $
Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings

Holger Giese Couverture souple
80,50 $
Analysis, Architectures and Modelling of Embedded Systems: Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009, Proceedings

Achim Rettberg Couverture souple
160,95 $
2 formats offerts
Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings

Burkhart Wolff Couverture souple
80,50 $
Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings

Alexey Gotsman Couverture souple
102,50 $
2 formats offerts
VLSI-SoC: Technologies for Systems Integration: 17th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2009, Florianopolis, Brazil, October 12-15, 2009, Revised Selected Papers

Jürgen Becker Couverture souple
80,50 $
2 formats offerts
New Developments in Distributed Applications and Interoperable Systems: IFIP TC6 / WG6.1 Third International Working Conference on Distributed Applications and Interoperable Systems September 17-19, 2001, Krakow, Poland

Kurt Zielinski Couverture souple
321,50 $
2 formats offerts
Testing Software and Systems: 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings

Valentina Casola Couverture souple
80,50 $
2 formats offerts
Testing of Software and Communicating Systems: 19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 26-29, 2007, Proceedings

Margus Veanes Couverture souple
80,50 $
OpenMP: Portable Multi-Level Parallelism on Modern Systems: 16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22-24, 2020, Proceedings

Kent Milfeld Couverture souple
124,50 $
2 formats offerts
VLSI-SoC: Design Methodologies for SoC and SiP: 16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008, Revised Selected Papers

Couverture souple
71,50 $
2 formats offerts
Analysis, Estimations, and Applications of Embedded Systems: 6th IFIP TC 10 International Embedded Systems Symposium, IESS 2019, Friedrichshafen, Germany, September 9-11, 2019, Revised Selected Papers

Marco A. Wehrmeister Couverture rigide
145,95 $
2 formats offerts

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

Description

Vous aimerez peut-être aussi

Principles Of Distributed Systems: 13th International Conference, Opodis 2009, Nimes, France, December 15-18, 2009. Proceedings

Semantic Systems. The Power Of Ai And Knowledge Graphs: 15th International Conference, Semantics 2019, Karlsruhe, Germany, September 9-12, 2019, Proceedings

Internet of Things. Advances in Information and Communication Technology: 6th IFIP International Cross-Domain Conference, IFIPIoT 2023, Denton, TX, USA, November 2-3, 2023, Proceedings, Part I

WSDM '18: Proceedings of the Eleventh ACM International Conference on Web Search and Data Mining

Parallel Computational Technologies: 18th International Conference, PCT 2024, Chelyabinsk, Russia, April 2-4, 2024, Revised Selected Papers

Semantic Systems. In the Era of Knowledge Graphs: 16th International Conference on Semantic Systems, SEMANTiCS 2020, Amsterdam, The Netherlands, September 7-10, 2020, Proceedings

System Development and Ada: CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings

Internet of Things. Advances in Information and Communication Technology: 6th IFIP International Cross-Domain Conference, IFIPIoT 2023, Denton, TX, USA, November 2-3, 2023, Proceedings, Part II

Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA

OpenMP: Portable Multi-Level Parallelism on Modern Systems: 16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22-24, 2020, Proceedings

Rugged Embedded Systems: Computing In Harsh Environments

Evolving OpenMP for Evolving Architectures: 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26-28, 2018, Proceedings

Internet of Things. Information Processing in an Increasingly Connected World: First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers

Analysis, Architectures and Modelling of Embedded Systems: Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009, Proceedings

Modelling Autonomic Communications Environments: Fourth IEEE International Workshop, MACE 2009, Venice, Italy, October 26-27, 2009, Proceedings

Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation: 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers

Tron Project 1987 Open-architecture Computer Systems: Proceedings Of The Third Tron Project Symposium

Proceedings of the 6th International Conference on Big Data and Internet of Things

Internet of Things. Technology and Applications: 4th IFIP International Cross-Domain Conference, IFIPIoT 2021, Virtual Event, November 4-5, 2021, Revised Selected Papers

Internet of Things. A Confluence of Many Disciplines: Second IFIP International Cross-Domain Conference, IFIPIoT 2019, Tampa, FL, USA, October 31 - November 1, 2019, Revised Selected Papers

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings

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

Evolving OpenMP for Evolving Architectures: 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26-28, 2018, Proceedings

Service-oriented And Cloud Computing: 7th Ifip Wg 2.14 European Conference, Esocc 2018, Como, Italy, September 12-14, 2018, Proceedings

Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA

Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

Designing Modern Embedded Systems: Software, Hardware, and Applications: 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022, Proceedings

Distributed Applications and Interoperable Systems: 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings

Coordination Models and Languages: 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings

Analysis, Architectures and Modelling of Embedded Systems: Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009, Proceedings

Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings

VLSI-SoC: Technologies for Systems Integration: 17th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2009, Florianopolis, Brazil, October 12-15, 2009, Revised Selected Papers

New Developments in Distributed Applications and Interoperable Systems: IFIP TC6 / WG6.1 Third International Working Conference on Distributed Applications and Interoperable Systems September 17-19, 2001, Krakow, Poland

Testing Software and Systems: 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings

Testing of Software and Communicating Systems: 19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 26-29, 2007, Proceedings

OpenMP: Portable Multi-Level Parallelism on Modern Systems: 16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22-24, 2020, Proceedings

VLSI-SoC: Design Methodologies for SoC and SiP: 16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008, Revised Selected Papers

Analysis, Estimations, and Applications of Embedded Systems: 6th IFIP TC 10 International Embedded Systems Symposium, IESS 2019, Friedrichshafen, Germany, September 9-11, 2019, Revised Selected Papers