System Analysis And Modeling. Languages, Methods, And Tools For Industry 4.0: 11th International Conference, Sam 2019, Munich, Germany, September 16-17, 2019, Proceedings

Name: System Analysis And Modeling. Languages, Methods, And Tools For Industry 4.0: 11th International Conference, Sam 2019, Munich, Germany, September 16-17, 2019, Proceedings
Price: 80.50 CAD
Availability: InStock
Author: Edel Sherratt
ISBN: 9783030306892

Pau Fonseca i Casas Edited by Maria-ribera Sancho , Edel Sherratt

Sep 07, 2019

$80.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 403 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

267

Programming and Software Engineering

Publisher: Springer Nature

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

ISBN: 9783030306892

Editorial reviews

maria-ribera sancho

Author

System Analysis And Modeling. Languages, Methods, And Tools For Systems Engineering: 10th International Conference, Sam 2018, Copenhagen, Denmark, October 15-16, 2018, Proceedings

Ferhat Khendek Paperback
$80.50
2 formats available
Formal Methods For Industrial Critical Systems: 25th International Conference, Fmics 2020, Vienna, Austria, September 2-3, 2020, Proceedings

Maurice H. ter Beek Paperback
$80.50
2 formats available
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings

Kim Guldstrand Larsen Paperback
$80.50
2 formats available
Formal Methods For Industrial Critical Systems: 26th International Conference, Fmics 2021, Paris, France, August 24-26, 2021, Proceedings

Alberto Lluch Lafuente Paperback
$80.50
2 formats available
New Modeling Concepts for Today's Software Processes: International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings

Jürgen Münch Paperback
$80.50
Integrated Formal Methods: 15th International Conference, Ifm 2019, Bergen, Norway, December 2-6, 2019, Proceedings

Wolfgang Ahrendt Paperback
$80.50
2 formats available
Measurement, Modelling And Evaluation Of Computing Systems: 20th International Gi/itg Conference, Mmb 2020, Saarbrucken, Germany, March 16-18, 2020, Proceedings

Holger Hermanns Paperback
$80.50
2 formats available
Model Driven Engineering Languages and Systems: 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009, Proceedings

Andy Sch Paperback
$160.95
Dependable Software Engineering. Theories, Tools, And Applications: 7th International Symposium, Setta 2021, Beijing, China, November 25-27, 2021, Proceedings

Shengchao Qin Paperback
$124.50
2 formats available
Dependable Software Engineering. Theories, Tools, And Applications: 6th International Symposium, Setta 2020, Guangzhou, China, November 24-27, 2020, Proceedings

Jun Pang Paperback
$80.50
2 formats available
Automated Technology For Verification And Analysis: 18th International Symposium, Atva 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings

Dang Van Hung Paperback
$80.50
2 formats available
Agile Processes in Software Engineering and Extreme Programming: 25th International Conference on Agile Software Development, XP 2024, Bozen-Bolzano, Italy, June 4-7, 2024, Proceedings

Darja Smite Paperback
$72.95
2 formats available
Requirements Engineering: Foundation for Software Quality: 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24-27, 2020, Proceedings

Nazim Madhavji Paperback
$80.50
2 formats available
Model-based Safety And Assessment: 6th International Symposium, Imbsa 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings

Yiannis Papadopoulos Paperback
$80.50
2 formats available
Performance Evaluation And Benchmarking For The Analytics Era: 9th Tpc Technology Conference, Tpctc 2017, Munich, Germany, August 28, 2017, Revised Selected Papers

Raghunath Nambiar Paperback
$87.95
2 formats available
Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Zhenhua Duan Paperback
$80.50
2 formats available
Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings

Zhe Hou Paperback
$124.50
2 formats available
Model And Data Engineering: 9th International Conference, Medi 2019, Toulouse, France, October 28-31, 2019, Proceedings

Klaus-Dieter Schewe Paperback
$80.50
2 formats available
Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings

Farhad Arbab Paperback
$80.50
2 formats available
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment: Second International Workshop, DEVOPS 2019, Ch-teau de Villebrumier, France, May 6-8, 2019, Revised Selected Papers

Jean-Michel Bruel Paperback
$80.50
2 formats available

System Analysis And Modeling. Languages, Methods, And Tools For Industry 4.0: 11th International Conference, Sam 2019, Munich, Germany, September 16-17, 2019, Proceedings

Overview

You May Also Like

Distributed, Ambient and Pervasive Interactions: 4th International Conference, DAPI 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings

Objects, Components, Models, Patterns: 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011, Proceedings

Requirements Engineering: Foundation for Software Quality: 30th International Working Conference, REFSQ 2024, Winterthur, Switzerland, April 8-11, 2024, Proceedings

Advances in Conceptual Modeling - Applications and Challenges: ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Vancouver, BC, Canada, November 1-4, 2010, Proceedings

Model-Based Methodologies for Pervasive and Embedded Software: 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers

Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.

Objects, Components, Models and Patterns: 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009, Proceedings

Programming Languages: Implementations, Logics, and Programs: 8th International Symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996. Proceedings

System Analysis And Modeling. Languages, Methods, And Tools For Systems Engineering: 10th International Conference, Sam 2018, Copenhagen, Denmark, October 15-16, 2018, Proceedings

Design, User Experience, and Usability: Design for Emotion, Well-being and Health, Learning, and Culture: 11th International Conference, DUXU 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part II

Solving Software Challenges for Exascale: International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Ergonomics and Health Aspects of Work with Computers: International Conference, EHAWC 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Global Computing. Programming Environments, Languages, Security, and Analysis of Systems: IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers

Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

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

Learning and Intelligent Optimization: 10th International Conference, LION 10, Ischia, Italy, May 29 - June 1, 2016, Revised Selected Papers

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

System Analysis And Modeling. Languages, Methods, And Tools For Systems Engineering: 10th International Conference, Sam 2018, Copenhagen, Denmark, October 15-16, 2018, Proceedings

Formal Methods For Industrial Critical Systems: 25th International Conference, Fmics 2020, Vienna, Austria, September 2-3, 2020, Proceedings

Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings

Formal Methods For Industrial Critical Systems: 26th International Conference, Fmics 2021, Paris, France, August 24-26, 2021, Proceedings

New Modeling Concepts for Today's Software Processes: International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings

Integrated Formal Methods: 15th International Conference, Ifm 2019, Bergen, Norway, December 2-6, 2019, Proceedings

Measurement, Modelling And Evaluation Of Computing Systems: 20th International Gi/itg Conference, Mmb 2020, Saarbrucken, Germany, March 16-18, 2020, Proceedings

Model Driven Engineering Languages and Systems: 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009, Proceedings

Dependable Software Engineering. Theories, Tools, And Applications: 7th International Symposium, Setta 2021, Beijing, China, November 25-27, 2021, Proceedings

Dependable Software Engineering. Theories, Tools, And Applications: 6th International Symposium, Setta 2020, Guangzhou, China, November 24-27, 2020, Proceedings

Automated Technology For Verification And Analysis: 18th International Symposium, Atva 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings

Agile Processes in Software Engineering and Extreme Programming: 25th International Conference on Agile Software Development, XP 2024, Bozen-Bolzano, Italy, June 4-7, 2024, Proceedings

Requirements Engineering: Foundation for Software Quality: 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24-27, 2020, Proceedings

Model-based Safety And Assessment: 6th International Symposium, Imbsa 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings

Performance Evaluation And Benchmarking For The Analytics Era: 9th Tpc Technology Conference, Tpctc 2017, Munich, Germany, August 28, 2017, Revised Selected Papers

Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings

Model And Data Engineering: 9th International Conference, Medi 2019, Toulouse, France, October 28-31, 2019, Proceedings

Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings

Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment: Second International Workshop, DEVOPS 2019, Ch-teau de Villebrumier, France, May 6-8, 2019, Revised Selected Papers