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

Name: 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
Price: 321.50 CAD
Availability: InStock
Author: Roberto Gorrieri
ISBN: 9781475752663

Paolo Ciancarini Edited by Alessandro Fantechi , Roberto Gorrieri

Jan 17, 2013

$321.50

Online pricing. Prices and offers may vary in store.

Ship to me

Checking availability…

Buy now & pick up in store

Checking availability…

Find it in store

Checking availability…

Quantity

Earn 1,608 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

436

IFIP Advances in Information and Communication Technology

Publisher: Springer/Sci-Tech/Trade

Shipping dimensions: 9" H x 6" W x 1" L

ISBN: 9781475752663

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 Paperback
$321.50
2 formats available
Network and Operating System Support for Digital Audio and Video: 4th International Workshop NOSSDAV '93, Lancaster, UK, November 3-5, 1993. Proceedings

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

John C. Strassner Paperback
$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 Paperback
$124.50
2 formats available
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 Paperback
$145.95
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 Hardcover
$145.95
2 formats available
Linux Command Lines and Shell Scripting: Mastering Linux for Efficient System Administration and Automation (2024 Guide for Beginners)

June Walker Paperback
$42.99
Using and Improving OpenMP for Devices, Tasks, and More: 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings

Luiz DeRose Paperback
$80.50
Advancing OpenMP for Future Accelerators: 20th International Workshop on OpenMP, IWOMP 2024, Perth, WA, Australia, September 23-25, 2024, Proceedings

Alexis Espinosa Paperback
$87.95
2 formats available
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 Hardcover
$124.50
2 formats available
Job Scheduling Strategies for Parallel Processing: 9th International Workshop, JSSPP 2003, Seattle, WA, USA, June 24, 2003, Revised Papers

Dror Feitelson Paperback
$80.50
Job Scheduling Strategies for Parallel Processing: 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers

Eitan Frachtenberg Paperback
$80.50
Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium, Warwick, UK, September 22-23, 1988

Paperback
$71.50
Concurrent Data Processing in Elixir: Fast, Resilient Applications with OTP, GenStage, Flow, and Broadway

Svilen Gospodinov Paperback
$52.95
2 formats available
OpenMP in a Modern World: From Multi-device Support to Meta Programming: 18th International Workshop on OpenMP, IWOMP 2022, Chattanooga, TN, USA, September 27-30, 2022, Proceedings

Michael Klemm Paperback
$72.95
2 formats available
IT Architect Series: Stories From The Field, Vol. 2: Horror stories and lessons learned from IT Architects, Operations, and Project Management

Paperback
$18.95
Building a Recommendation System with R

Suresh K Gorakala Paperback
$39.99
2 formats available
AI-Driven IoT Systems for Industry 4.0

Deepa Jose Hardcover
$281.50
2 formats available
Proceedings of the 6th International Conference on Big Data and Internet of Things

Paperback
$389.95
2 formats available
System Development and Ada: CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings

Paperback
$71.50

Editorial reviews

alessandro fantechi

Author

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 Paperback
$321.50
2 formats available
Testing of Communicating Systems: Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 2000), August 29-September 1, 2000, Ottawa, Canada

Hasan Ural Paperback
$321.50
2 formats available
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 Paperback
$321.50
2 formats available
Distributed Embedded Systems: Design, Middleware and Resources: IFIP 20th World Computer Congress, TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2008), September 7-10, 2008, Milano, Italy

Bernd Kleinjohann Paperback
$160.95
2 formats available
Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13, 2000, Pisa, Ita

Tommaso Bolognesi Paperback
$321.50
2 formats available
Building QoS into Distributed Systems: IFIP TC6 WG6.1 Fifth International Workshop on Quality of Service (IWQOS '97), 21-23 May 1997, New York, USA

Andrew T. Campbell Paperback
$321.50
2 formats available
Reliability, Quality and Safety of Software-Intensive Systems: IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS '97), 29th-30th May 1997, Athens, Greece

Dimitris Gritzalis Paperback
$248.50
2 formats available
Data Mining and Reverse Engineering: Searching for semantics. IFIP TC2 WG2.6 IFIP Seventh Conference on Database Semantics (DS-7) 7-10 October 1997, Leysin, Switzerland

Stefano Spaccapietra Paperback
$408.95
2 formats available
From Model-Driven Design to Resource Management for Distributed Embedded Systems: IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006) October 11-13, 2006, Braga, Portugal

Bernd Kleinjohann Paperback
$160.95
2 formats available
Architecture and Design of Distributed Embedded Systems: IFIP WG10.3/WG10.4/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000) October 18-19, 2000, Schlo Eringerfeld, Germany

Bernd Kleinjohann Paperback
$248.50
3 formats available
Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

Gilles Barthe Paperback
$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 Paperback
$160.95
2 formats available
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 Hardcover
$145.95
2 formats available
VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms: 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8-10, 2018, Revised and Extended Selected Papers

Nicola Bombieri Hardcover
$80.50
2 formats available
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 Paperback
$102.50
2 formats available
Global Engineering, Manufacturing and Enterprise Networks: IFIP TC5 WG5.3/5.7/5.12 Fourth International Working Conference on the Design of Information Infrastructure Systems for Manufacturing (DIISM 2000). November 15-17, 2000, Melbourne, Victoria, Australia

John P.T. Mo Paperback
$321.50
2 formats available
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

Paperback
$71.50
2 formats available
Performance of Information and Communication Systems: IFIP TC6 / WG6.3 Seventh International Conference on Performance of Information and Communication Systems (PICS '98) 25-28 May 1998, Lund, Sweden

Ulf Körner Paperback
$321.50
2 formats available
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 Paperback
$80.50
2 formats available
Performance Analysis of ATM Networks: IFIP TC6 WG6.3 / WG6.4 Fifth International Workshop on Performance Modelling and Evaluation of ATM Networks July 21-23, 1997, Ilkley, UK

Demetres D. Kouvatsos Paperback
$321.50
2 formats available

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

Overview

You May Also Like

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

Network and Operating System Support for Digital Audio and Video: 4th International Workshop NOSSDAV '93, Lancaster, UK, November 3-5, 1993. Proceedings

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

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

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. Technology and Applications: 4th IFIP International Cross-Domain Conference, IFIPIoT 2021, Virtual Event, November 4-5, 2021, Revised Selected Papers

Linux Command Lines and Shell Scripting: Mastering Linux for Efficient System Administration and Automation (2024 Guide for Beginners)

Using and Improving OpenMP for Devices, Tasks, and More: 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings

Advancing OpenMP for Future Accelerators: 20th International Workshop on OpenMP, IWOMP 2024, Perth, WA, Australia, September 23-25, 2024, 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

Job Scheduling Strategies for Parallel Processing: 9th International Workshop, JSSPP 2003, Seattle, WA, USA, June 24, 2003, Revised Papers

Job Scheduling Strategies for Parallel Processing: 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers

Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium, Warwick, UK, September 22-23, 1988

Concurrent Data Processing in Elixir: Fast, Resilient Applications with OTP, GenStage, Flow, and Broadway

OpenMP in a Modern World: From Multi-device Support to Meta Programming: 18th International Workshop on OpenMP, IWOMP 2022, Chattanooga, TN, USA, September 27-30, 2022, Proceedings

IT Architect Series: Stories From The Field, Vol. 2: Horror stories and lessons learned from IT Architects, Operations, and Project Management

Building a Recommendation System with R

AI-Driven IoT Systems for Industry 4.0

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

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

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

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

Testing of Communicating Systems: Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 2000), August 29-September 1, 2000, Ottawa, Canada

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

Distributed Embedded Systems: Design, Middleware and Resources: IFIP 20th World Computer Congress, TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2008), September 7-10, 2008, Milano, Italy

Building QoS into Distributed Systems: IFIP TC6 WG6.1 Fifth International Workshop on Quality of Service (IWQOS '97), 21-23 May 1997, New York, USA

Reliability, Quality and Safety of Software-Intensive Systems: IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS '97), 29th-30th May 1997, Athens, Greece

Data Mining and Reverse Engineering: Searching for semantics. IFIP TC2 WG2.6 IFIP Seventh Conference on Database Semantics (DS-7) 7-10 October 1997, Leysin, Switzerland

From Model-Driven Design to Resource Management for Distributed Embedded Systems: IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006) October 11-13, 2006, Braga, Portugal

Architecture and Design of Distributed Embedded Systems: IFIP WG10.3/WG10.4/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000) October 18-19, 2000, Schlo Eringerfeld, Germany

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 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

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

VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms: 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8-10, 2018, Revised and Extended Selected Papers

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

Global Engineering, Manufacturing and Enterprise Networks: IFIP TC5 WG5.3/5.7/5.12 Fourth International Working Conference on the Design of Information Infrastructure Systems for Manufacturing (DIISM 2000). November 15-17, 2000, Melbourne, Victoria, Australia

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

Performance of Information and Communication Systems: IFIP TC6 / WG6.3 Seventh International Conference on Performance of Information and Communication Systems (PICS '98) 25-28 May 1998, Lund, Sweden

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

Performance Analysis of ATM Networks: IFIP TC6 WG6.3 / WG6.4 Fifth International Workshop on Performance Modelling and Evaluation of ATM Networks July 21-23, 1997, Ilkley, UK