Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

Name: Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Price: 80.50 CAD
Availability: InStock
Author: Jun Pang
ISBN: 9783319117362

Stephan Merz Édition : Jun Pang

23 septembre 2014

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

460

Programming and Software Engineering

Publié par: Springer/Sci-Tech/Trade

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

ISBN: 9783319117362

Enterprise Information Systems: 24th International Conference, ICEIS 2022, Virtual Event, April 25-27, 2022, Revised Selected Papers

Joaquim Filipe Couverture souple
116,95 $
2 formats offerts
Recent Advances on Soft Computing and Data Mining: The Second International Conference on Soft Computing and Data Mining (SCDM-2016), Bandung, Indonesia, August 18-20, 2016 Proceedings

Tutut Herawan Couverture souple
321,50 $
2 formats offerts
Intelligent Virtual Agents: 5th International Working Conference, IVA 2005, Kos, Greece, September 12-14, 2005, Proceedings

Themis Panayiotopoulos Couverture souple
80,50 $
Natural Language Processing and Chinese Computing: 13th National CCF Conference, NLPCC 2024, Hangzhou, China, November 2-3, 2024, Proceedings, Part V

Derek F. Wong Couverture souple
116,95 $
2 formats offerts
Information And Software Technologies: 25th International Conference, Icist 2019, Vilnius, Lithuania, October 10-12, 2019, Proceedings

Robertas Damaå¡evi Couverture souple
80,50 $
2 formats offerts
Implementation and Application of Automata: 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings

Benedek Nagy Couverture souple
94,95 $
2 formats offerts
Natural Language Processing and Chinese Computing: 13th National CCF Conference, NLPCC 2024, Hangzhou, China, November 2-3, 2024, Proceedings, Part IV

Derek F. Wong Couverture souple
131,50 $
2 formats offerts
Computational Logistics: Second International Conference, ICCL 2011, Hamburg, Germany, September 19-22, 2011, Proceeding: Second International Conference, ICCL 2011, Hamburg, Germany, September 19-22, 2011, Proceedings

Couverture souple
80,50 $
Software Engineering And Formal Methods: 11th International Conference, Sefm 2013, Madrid, Spain, September 25-27, 2013, Proceedings

Robert M. Hierons Couverture souple
80,50 $
Distributed Applications and Interoperable Systems: 21st IFIP WG 6.1 International Conference, DAIS 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings

Miguel Matos Couverture souple
80,50 $
2 formats offerts
Advanced Informatics for Computing Research: 4th International Conference, ICAICR 2020, Gurugram, India, December 26-27, 2020, Revised Selected Papers, Part I

Ashish Kumar Luhach Couverture souple
160,95 $
2 formats offerts
Intelligent Systems for Smart Cities: Select Proceedings of the 2nd International Conference, ICISA 2023

Anand J. Kulkarni Couverture souple
204,50 $
2 formats offerts
Advanced Multimedia Content Processing: First International Conference, AMCP'98, Osaka, Japan, November 9-11, 1998, Proceedings

Couverture souple
71,50 $
Natural Language Processing and Chinese Computing: 13th National CCF Conference, NLPCC 2024, Hangzhou, China, November 2-3, 2024, Proceedings, Part III

Derek F. Wong Couverture souple
116,95 $
2 formats offerts
Ambient Intelligence: 4th International Joint Conference, Ami 2013, Dublin, Ireland, December 3-5, 2013. Proceedings

Juan Carlos Augusto Couverture souple
80,50 $
Natural Language Processing and Chinese Computing: 13th National CCF Conference, NLPCC 2024, Hangzhou, China, November 2-3, 2024, Proceedings, Part I

Derek F. Wong Couverture souple
131,50 $
Advanced Data Mining And Applications: 16th International Conference, Adma 2020, Foshan, China, November 12-14, 2020, Proceedings

Xiaochun Yang Couverture souple
160,95 $
2 formats offerts
Natural Language Processing and Chinese Computing: 13th National CCF Conference, NLPCC 2024, Hangzhou, China, November 2-3, 2024, Proceedings, Part III

Derek F. Wong Couverture souple
116,95 $
2 formats offerts
Advanced Informatics for Computing Research: 5th International Conference, ICAICR 2021, Gurugram, India, December 18-19, 2021, Revised Selected Papers

Ashish Kumar Luhach Couverture souple
124,50 $
2 formats offerts
Advances in Computational Collective Intelligence: 12th International Conference, ICCCI 2020, Da Nang, Vietnam, November 30 - December 3, 2020, Proceedings

Marcin Hernes Couverture souple
160,95 $
2 formats offerts

Évaluation éditoriale

jun pang

Auteur

Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Shengchao Qin Couverture souple
80,50 $
Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Zhenhua Duan Couverture souple
80,50 $
2 formats offerts
Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings

Gwen Sala Couverture souple
80,50 $
Measurement, Modelling And Evaluation Of Computing Systems: 20th International Gi/itg Conference, Mmb 2020, Saarbrucken, Germany, March 16-18, 2020, Proceedings

Holger Hermanns Couverture souple
80,50 $
2 formats offerts
Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings

Adrian Riesco Couverture souple
80,50 $
2 formats offerts
Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings

Yi Li Couverture souple
94,95 $
2 formats offerts
Requirements Engineering: Foundation for Software Quality: 18th International Working Conference, REFSQ 2012, Essen, Germany, March 2012, Proceedings

Bj Regnell Couverture souple
80,50 $
Model Driven Engineering Languages and Systems: 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009, Proceedings

Andy Sch Couverture souple
160,95 $
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 Couverture souple
80,50 $
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 Couverture souple
80,50 $
2 formats offerts
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

Marco Bernardo Couverture souple
80,50 $
Requirements Engineering: Foundation for Software Quality: 14th International Working Conference, REFSQ 2008 Montpellier, France, june 16-17, 2008, Proceedings

Barbara Paech Couverture souple
80,50 $
Enterprise and Organizational Modeling and Simulation: 6th International Workshop, EOMAS 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, Selected Papers

Joseph Barjis Couverture souple
80,50 $
Requirements Engineering: Foundation for Software Quality: 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30-July 2, 2010. Proceedings

Roel Wieringa Couverture souple
80,50 $
Cooperative Design, Visualization, and Engineering: 20th International Conference on Cooperative Design, Visualization and Engineering, CDVE 2023, Mallorca, Spain, October 1-4, 2023, Proceedings

Yuhua Luo Couverture souple
94,95 $
2 formats offerts
Static Analysis: 23rd International Symposium, Sas 2016, Edinburgh, Uk, September 8-10, 2016, Proceedings

Xavier Rival Couverture souple
80,50 $
2 formats offerts
Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Zhiming Liu Couverture souple
80,50 $
Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings

Jim Davies Couverture souple
160,95 $
Principles And Practice Of Constraint Programming: 26th International Conference, Cp 2020, Louvain-la-neuve, Belgium, September 7-11, 2020, Proceedings

Helmut Simonis Couverture souple
248,50 $
2 formats offerts
Software Architecture: 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings

Khalil Drira Couverture souple
80,50 $

Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

Description

Vous aimerez peut-être aussi

Enterprise Information Systems: 24th International Conference, ICEIS 2022, Virtual Event, April 25-27, 2022, Revised Selected Papers

Recent Advances on Soft Computing and Data Mining: The Second International Conference on Soft Computing and Data Mining (SCDM-2016), Bandung, Indonesia, August 18-20, 2016 Proceedings

Intelligent Virtual Agents: 5th International Working Conference, IVA 2005, Kos, Greece, September 12-14, 2005, Proceedings

Natural Language Processing and Chinese Computing: 13th National CCF Conference, NLPCC 2024, Hangzhou, China, November 2-3, 2024, Proceedings, Part V

Information And Software Technologies: 25th International Conference, Icist 2019, Vilnius, Lithuania, October 10-12, 2019, Proceedings

Implementation and Application of Automata: 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings

Natural Language Processing and Chinese Computing: 13th National CCF Conference, NLPCC 2024, Hangzhou, China, November 2-3, 2024, Proceedings, Part IV

Computational Logistics: Second International Conference, ICCL 2011, Hamburg, Germany, September 19-22, 2011, Proceeding: Second International Conference, ICCL 2011, Hamburg, Germany, September 19-22, 2011, Proceedings

Software Engineering And Formal Methods: 11th International Conference, Sefm 2013, Madrid, Spain, September 25-27, 2013, Proceedings

Distributed Applications and Interoperable Systems: 21st IFIP WG 6.1 International Conference, DAIS 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings

Advanced Informatics for Computing Research: 4th International Conference, ICAICR 2020, Gurugram, India, December 26-27, 2020, Revised Selected Papers, Part I

Intelligent Systems for Smart Cities: Select Proceedings of the 2nd International Conference, ICISA 2023

Advanced Multimedia Content Processing: First International Conference, AMCP'98, Osaka, Japan, November 9-11, 1998, Proceedings

Natural Language Processing and Chinese Computing: 13th National CCF Conference, NLPCC 2024, Hangzhou, China, November 2-3, 2024, Proceedings, Part III

Ambient Intelligence: 4th International Joint Conference, Ami 2013, Dublin, Ireland, December 3-5, 2013. Proceedings

Natural Language Processing and Chinese Computing: 13th National CCF Conference, NLPCC 2024, Hangzhou, China, November 2-3, 2024, Proceedings, Part I

Advanced Data Mining And Applications: 16th International Conference, Adma 2020, Foshan, China, November 12-14, 2020, Proceedings

Natural Language Processing and Chinese Computing: 13th National CCF Conference, NLPCC 2024, Hangzhou, China, November 2-3, 2024, Proceedings, Part III

Advanced Informatics for Computing Research: 5th International Conference, ICAICR 2021, Gurugram, India, December 18-19, 2021, Revised Selected Papers

Advances in Computational Collective Intelligence: 12th International Conference, ICCCI 2020, Da Nang, Vietnam, November 30 - December 3, 2020, Proceedings

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

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

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings

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

Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings

Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings

Requirements Engineering: Foundation for Software Quality: 18th International Working Conference, REFSQ 2012, Essen, Germany, March 2012, Proceedings

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

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

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 Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

Requirements Engineering: Foundation for Software Quality: 14th International Working Conference, REFSQ 2008 Montpellier, France, june 16-17, 2008, Proceedings

Enterprise and Organizational Modeling and Simulation: 6th International Workshop, EOMAS 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, Selected Papers

Requirements Engineering: Foundation for Software Quality: 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30-July 2, 2010. Proceedings

Cooperative Design, Visualization, and Engineering: 20th International Conference on Cooperative Design, Visualization and Engineering, CDVE 2023, Mallorca, Spain, October 1-4, 2023, Proceedings

Static Analysis: 23rd International Symposium, Sas 2016, Edinburgh, Uk, September 8-10, 2016, Proceedings

Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings

Principles And Practice Of Constraint Programming: 26th International Conference, Cp 2020, Louvain-la-neuve, Belgium, September 7-11, 2020, Proceedings

Software Architecture: 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings