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

Name: 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
Price: 321.50 CAD
Availability: In_Stock
Author: Diego Latella
ISBN: 9780792379683

Tommaso Bolognesi Édition : Diego Latella

30 septembre 2000

321,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 1 608 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

412

IFIP Advances in Information and Communication Technology

Publié par: Kluwer Boston Incorporated

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

ISBN: 9780792379683

Practical Hardware Pentesting, Second edition: Learn attack and defense techniques for embedded systems in IoT and other devices

Jean-Georges Valle Livre numérique Kobo
40,99 $ ~~Réduction sur le prix courant 50,99 $ à~~
Iot-based Intelligent Modelling For Environmental And Ecological Engineering: Iot Next Generation Ecoagro Systems

Paul Krause Couverture souple
160,95 $
2 formats offerts
Job Scheduling Strategies For Parallel Processing: 23rd International Workshop, Jsspp 2020, New Orleans, La, Usa, May 22, 2020, Revised Selected Papers

Dalibor Klus Couverture souple
80,50 $
2 formats offerts
Job Scheduling Strategies for Parallel Processing: 27th International Workshop, JSSPP 2024, San Francisco, CA, USA, May 31, 2024, Revised Selected Papers

Dalibor Klus Couverture souple
116,95 $
Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers

Andy Gill Couverture souple
105,50 $
Job Scheduling Strategies for Parallel Processing: 22nd International Workshop, JSSPP 2018, Vancouver, BC, Canada, May 25, 2018, Revised Selected Papers

Dalibor Klus Couverture souple
80,50 $
2 formats offerts
Job Scheduling Strategies for Parallel Processing: 25th International Workshop, JSSPP 2022, Virtual Event, June 3, 2022, Revised Selected Papers

Dalibor Klus Couverture souple
102,50 $
2 formats offerts
AWS for Solutions Architects - Second Edition: The definitive guide to AWS Solutions Architecture for migrating to, building, scaling, and succeeding in the cloud

Saurabh Shrivastava Couverture souple
69,99 $
2 formats offerts
Multimodal Learning for Clinical Decision Support and Clinical Image-Based Procedures: 10th International Workshop, ML-CDS 2020, and 9th International Workshop, CLIP 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4-8, 2020, Proceedings

Tanveer Syeda-Mahmood Couverture souple
80,50 $
2 formats offerts
Interpretability of Machine Intelligence in Medical Image Computing and Multimodal Learning for Clinical Decision Support: Second International Workshop, iMIMIC 2019, and 9th International Workshop, ML-CDS 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, Proceedings

Kenji Suzuki Couverture souple
80,50 $
2 formats offerts
Creativity in Intelligent Technologies and Data Science: 5th International Conference, CIT

Alla G. Kravets Couverture souple
145,95 $
2 formats offerts
Modeling Multi-commodity Trade: Information Exchange Methods

Mariusz Kaleta Couverture souple
160,95 $
Wireless Sensor and Actor Networks: IFIP WG 6.8 First International Conference on Wireless Sensor and Actor Networks, WSAN'07, Albacete, Spain, September 24-26, 2007

Luis Orozco-Barbosa Couverture souple
160,95 $
2 formats offerts
Expert Linux Administration Guide: Administer and Control Linux Filesystems, Networking, Web Server, Virtualization, Databases, and Process Control (English Edition)

Vishal Rai Livre numérique Kobo
16,99 $ ~~Réduction sur le prix courant 20,48 $ à~~
Product-Focused Software Process Improvement: 12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011. Proceedings

Danilo Caivano Couverture souple
80,50 $
Provenance and Annotation of Data and Process: Third International Provenance and Annotation Workshop, IPAW 2010, Troy, NY, USA, June 15-16, 2010, Revised Selected Papers

Deborah L. McGuinness Couverture souple
80,50 $
Creativity In Intelligent Technologies And Data Science: 4th International Conference, Cit

Alla G. Kravets Couverture souple
80,50 $
2 formats offerts
Connecting the Data: Data Integration Techniques for Building an Operational Data Store (ODS)

Angelo Bobak Couverture souple
49,99 $
Progressive and Integrative Ideas and Applications of Engineering Systems under the Framework of IOT and AI: Proceedings of 2nd International Conference on Intelligent Systems Design and Engineering Applications

Yongsheng Ma Couverture rigide
233,95 $
2 formats offerts
New Trends in Image Analysis and Processing - ICIAP 2015 Workshops: ICIAP 2015 International Workshops, BioFor, CTMR, RHEUMA, ISCA, MADiMa, SBMI, and QoEM, Genoa, Italy, September 7-8, 2015, Proceedings

Vittorio Murino Couverture souple
80,50 $

Évaluation éditoriale

diego latella

Auteur

Formal Description Techniques And Protocol Specification, Testing And Verification: Forte X / Pstv Xvii '97

Atsushi Togashi Couverture souple
321,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
269,32 $ ~~Réduction sur le prix courant 321,50 $ à~~
2 formats offerts
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
Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX'99

Samuel T. Jianping Wu Couverture souple
321,50 $
2 formats offerts
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 Couverture souple
408,95 $
2 formats offerts
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 Couverture souple
321,50 $
2 formats offerts
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 Couverture souple
267,19 $ ~~Réduction sur le prix courant 321,50 $ à~~
2 formats offerts
Diffusing Software Product and Process Innovations: IFIP TC8 WG8.6 Fourth Working Conference on Diffusing Software Product and Process Innovations April 7-10, 2001, Banff, Canada

Mark A. Ardis Couverture souple
321,50 $
3 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
Programming Concepts and Methods PROCOMET '98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA

David Gries Couverture souple
321,50 $
2 formats offerts
Optical Network Design and Modelling: IFIP TC6 Working Conference on Optical Network Design and Modelling 24-25 February 1997, Vienna, Austria

Harmen R. van As Couverture souple
160,95 $
2 formats offerts
Towards an Optical Internet: New Visions in Optical Network Design and Modelling. IFIP TC6 Fifth Working Conference on Optical Network Design and Modelling (ONDM 2001) February 5-7, 2001, Vienna, Austria

Admela Jukan Couverture souple
248,50 $
2 formats offerts
Reliability and Optimization of Structural Systems: Proceedings of the sixth IFIP WG7.5 working conference on reliability and optimization of structural systems 1994

Rudiger Rackwitz Couverture souple
321,50 $
2 formats offerts
Semantic Issues In E-commerce Systems: Ifip Tc2 / Wg2.6 Ninth Working Conference On Database Semantics April 25-28, 2001, Hong Kong

Karl Aberer Couverture souple
160,95 $
2 formats offerts
Formal Techniques for Networked and Distributed Systems: FORTE 2001

Myungchul Myungchul Kim Couverture souple
321,50 $
2 formats offerts
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 Couverture souple
248,50 $
2 formats offerts
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 Couverture souple
160,95 $
2 formats offerts
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 Couverture souple
321,50 $
2 formats offerts
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 Couverture souple
160,95 $
2 formats offerts
Visual and Multimedia Information Management: IFIP TC2/WG2.6 Sixth Working Conference on Visual Database Systems May 29-31, 2012 Brisbane, Australia

Pearl Xiaofang Zhou Couverture souple
248,50 $
2 formats offerts

Description

Vous aimerez peut-être aussi

Practical Hardware Pentesting, Second edition: Learn attack and defense techniques for embedded systems in IoT and other devices

Iot-based Intelligent Modelling For Environmental And Ecological Engineering: Iot Next Generation Ecoagro Systems

Job Scheduling Strategies For Parallel Processing: 23rd International Workshop, Jsspp 2020, New Orleans, La, Usa, May 22, 2020, Revised Selected Papers

Job Scheduling Strategies for Parallel Processing: 27th International Workshop, JSSPP 2024, San Francisco, CA, USA, May 31, 2024, Revised Selected Papers

Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers

Job Scheduling Strategies for Parallel Processing: 22nd International Workshop, JSSPP 2018, Vancouver, BC, Canada, May 25, 2018, Revised Selected Papers

Job Scheduling Strategies for Parallel Processing: 25th International Workshop, JSSPP 2022, Virtual Event, June 3, 2022, Revised Selected Papers

AWS for Solutions Architects - Second Edition: The definitive guide to AWS Solutions Architecture for migrating to, building, scaling, and succeeding in the cloud

Multimodal Learning for Clinical Decision Support and Clinical Image-Based Procedures: 10th International Workshop, ML-CDS 2020, and 9th International Workshop, CLIP 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4-8, 2020, Proceedings

Interpretability of Machine Intelligence in Medical Image Computing and Multimodal Learning for Clinical Decision Support: Second International Workshop, iMIMIC 2019, and 9th International Workshop, ML-CDS 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, Proceedings

Creativity in Intelligent Technologies and Data Science: 5th International Conference, CIT

Modeling Multi-commodity Trade: Information Exchange Methods

Wireless Sensor and Actor Networks: IFIP WG 6.8 First International Conference on Wireless Sensor and Actor Networks, WSAN'07, Albacete, Spain, September 24-26, 2007

Expert Linux Administration Guide: Administer and Control Linux Filesystems, Networking, Web Server, Virtualization, Databases, and Process Control (English Edition)

Product-Focused Software Process Improvement: 12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011. Proceedings

Provenance and Annotation of Data and Process: Third International Provenance and Annotation Workshop, IPAW 2010, Troy, NY, USA, June 15-16, 2010, Revised Selected Papers

Creativity In Intelligent Technologies And Data Science: 4th International Conference, Cit

Connecting the Data: Data Integration Techniques for Building an Operational Data Store (ODS)

Progressive and Integrative Ideas and Applications of Engineering Systems under the Framework of IOT and AI: Proceedings of 2nd International Conference on Intelligent Systems Design and Engineering Applications

New Trends in Image Analysis and Processing - ICIAP 2015 Workshops: ICIAP 2015 International Workshops, BioFor, CTMR, RHEUMA, ISCA, MADiMa, SBMI, and QoEM, Genoa, Italy, September 7-8, 2015, Proceedings

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Formal Description Techniques And Protocol Specification, Testing And Verification: Forte X / Pstv Xvii '97

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 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

Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX'99

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

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

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

Diffusing Software Product and Process Innovations: IFIP TC8 WG8.6 Fourth Working Conference on Diffusing Software Product and Process Innovations April 7-10, 2001, Banff, 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

Programming Concepts and Methods PROCOMET '98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA

Optical Network Design and Modelling: IFIP TC6 Working Conference on Optical Network Design and Modelling 24-25 February 1997, Vienna, Austria

Towards an Optical Internet: New Visions in Optical Network Design and Modelling. IFIP TC6 Fifth Working Conference on Optical Network Design and Modelling (ONDM 2001) February 5-7, 2001, Vienna, Austria

Reliability and Optimization of Structural Systems: Proceedings of the sixth IFIP WG7.5 working conference on reliability and optimization of structural systems 1994

Semantic Issues In E-commerce Systems: Ifip Tc2 / Wg2.6 Ninth Working Conference On Database Semantics April 25-28, 2001, Hong Kong

Formal Techniques for Networked and Distributed Systems: FORTE 2001

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

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

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

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

Visual and Multimedia Information Management: IFIP TC2/WG2.6 Sixth Working Conference on Visual Database Systems May 29-31, 2012 Brisbane, Australia