Structured Object-Oriented Formal Language and Method: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers

Name: Structured Object-Oriented Formal Language and Method: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers
Price: 80.50 CAD
Availability: InStock
Author: Shaoying Liu
ISBN: 9783030414177

Huaikou Miao Édition : Cong Tian , Shaoying Liu

20 février 2020

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

364

Theoretical Computer Science and General Issues

Publié par: Springer Nature

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

ISBN: 9783030414177

Compiler Construction: 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Koen De Bosschere Couverture souple
72,95 $
Modelling to Program: Second International Workshop, M2P 2020, Lappeenranta, Finland, March 10-12, 2020, Revised Selected Papers

Ajantha Dahanayake Couverture souple
80,50 $
2 formats offerts
Genetic Programming: 17th European Conference, Eurogp 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

Miguel Nicolau Couverture souple
80,50 $
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

Bernhard Beckert Couverture souple
80,50 $
Advances In Service-oriented And Cloud Computing: Workshops Of Esocc 2016, Vienna, Austria, September 5-7, 2016, Revised Selected Papers

Alexander Lazovik Couverture souple
80,50 $
2 formats offerts
Top Productivity through Software Reuse: 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings

Klaus Schmid Couverture souple
80,50 $
Software Architecture: Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers

Volker Gruhn Couverture souple
80,50 $
JavaFX Script: Dynamic Java Scripting for Rich Internet/Client-side Applications

James Weaver Couverture souple
58,50 $
Trends in Functional Programming: 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers

William J. Bowman Couverture souple
80,50 $
2 formats offerts
Immersive Learning Research Network: 9th International Conference, iLRN 2023, San Luis Obispo, USA, June 26-29, 2023, Revised Selected Papers

Marie-Luce Bourguet Couverture souple
145,95 $
2 formats offerts
Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010, Revised Selected Papers

Luis Soares Barbosa Couverture souple
80,50 $
High Performance Computing Systems: 19th Symposium, Wscad 2018, Sao Paulo, Brazil, October 1-3, 2018, Revised Selected Papers

Calebe Bianchini Couverture souple
80,50 $
Swarm Intelligence Based Optimization: First International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014. Revised Selected Papers

Patrick Siarry Couverture souple
80,50 $
Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

Einar Broch Johnsen Couverture souple
80,50 $
2 formats offerts
Object-Oriented Technology. ECOOP '98 Workshop Reader: ECOOP'98 Workshop, Demos, and Posters Brussels, Belgium, July 20-24, 1998 Proceedings

Serge Demeyer Couverture souple
80,50 $
Programming Languages and Systems: 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Zhong Shao Couverture souple
80,50 $
Euro-Par 2010 - Parallel Processing: 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part I

Pasqua D'Ambra Couverture souple
160,95 $
Service-Oriented Computing - ICSOC 2016 Workshops: ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected Papers

Khalil Drira Couverture souple
80,50 $
2 formats offerts
Augmented and Virtual Reality: First International Conference, AVR 2014, Lecce, Italy, September 17-20, 2014, Revised Selected Papers

Lucio Tommaso De Paolis Couverture souple
80,50 $
Central European Functional Programming School: 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers

Viktória Zs Couverture souple
80,50 $

Évaluation éditoriale

cong tian

Auteur

Structured Object-oriented Formal Language And Method: 10th International Workshop, Sofl+msvl 2020, Singapore, March 1, 2021, Revised Selected Papers

Jinyun Xue Couverture souple
80,50 $
2 formats offerts
Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

Shaoying Liu Couverture souple
65,95 $
2 formats offerts
Approximation And Online Algorithms: 18th International Workshop, Waoa 2020, Virtual Event, September 9-10, 2020, Revised Selected Papers

Christos Kaklamanis Couverture souple
262,95 $
2 formats offerts
Functional And Constraint Logic Programming: 28th International Workshop, Wflp 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers

Michael Hanus Couverture souple
80,50 $
2 formats offerts
Recent Trends In Algebraic Development Techniques: 25th International Workshop, Wadt 2020, Virtual Event, April 29, 2020, Revised Selected Papers

Markus Roggenbach Couverture souple
80,50 $
2 formats offerts
Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

Couverture souple
77,95 $
2 formats offerts
Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers

Maurizio Gabbrielli Couverture souple
80,50 $
2 formats offerts
Job Scheduling Strategies For Parallel Processing: 24th International Workshop, Jsspp 2021, Virtual Event, May 21, 2021, Revised Selected Papers

Dalibor Klus Couverture souple
102,50 $
2 formats offerts
Rewriting Logic And Its Applications: 13th International Workshop, Wrla 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers

Santiago Escobar Couverture souple
80,50 $
2 formats offerts
Languages And Compilers For Parallel Computing: 33rd International Workshop, Lcpc 2020, Virtual Event, October 14-16, 2020, Revised Selected Papers

Barbara Chapman Couverture souple
102,50 $
2 formats offerts
Trends In Functional Programming: 22nd International Symposium, Tfp 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers

Viktória Zs Couverture souple
65,95 $
2 formats offerts
Formal Techniques For Safety-critical Systems: 4th International Workshop, Ftscs 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Cyrille Artho Couverture souple
80,50 $
2 formats offerts
High-performance Scientific Computing: First Jara-hpc Symposium, Jhpcs 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers

Edoardo Di Napoli Couverture souple
80,50 $
2 formats offerts
Functional and Constraint Logic Programming: 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

Josep Silva Couverture souple
80,50 $
2 formats offerts
Job Scheduling Strategies for Parallel Processing: 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers

Narayan Desai Couverture souple
80,50 $
2 formats offerts
New Frontiers In Quantitative Methods In Informatics: 7th Workshop, Infq 2017, Venice, Italy, December 4, 2017, Revised Selected Papers

Simonetta Balsamo Couverture souple
80,50 $
2 formats offerts
Languages and Compilers for Parallel Computing: 32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22-24, 2019, Revised Selected Papers

Santosh Pande Couverture souple
80,50 $
2 formats offerts
Software Engineering And Formal Methods: 19th International Conference, Sefm 2021, Virtual Event, December 6-10, 2021, Proceedings

Radu Calinescu Couverture souple
127,42 $ ~~Réduction sur le prix courant 131,50 $ à~~
2 formats offerts
Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

Fabio Fioravanti Couverture souple
80,50 $
2 formats offerts
Solving Software Challenges for Exascale: International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers

Stefano Markidis Couverture souple
65,95 $
2 formats offerts

Structured Object-Oriented Formal Language and Method: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers

Description

Vous aimerez peut-être aussi

Compiler Construction: 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Modelling to Program: Second International Workshop, M2P 2020, Lappeenranta, Finland, March 10-12, 2020, Revised Selected Papers

Genetic Programming: 17th European Conference, Eurogp 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

Advances In Service-oriented And Cloud Computing: Workshops Of Esocc 2016, Vienna, Austria, September 5-7, 2016, Revised Selected Papers

Top Productivity through Software Reuse: 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings

Software Architecture: Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers

JavaFX Script: Dynamic Java Scripting for Rich Internet/Client-side Applications

Trends in Functional Programming: 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers

Immersive Learning Research Network: 9th International Conference, iLRN 2023, San Luis Obispo, USA, June 26-29, 2023, Revised Selected Papers

Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010, Revised Selected Papers

High Performance Computing Systems: 19th Symposium, Wscad 2018, Sao Paulo, Brazil, October 1-3, 2018, Revised Selected Papers

Swarm Intelligence Based Optimization: First International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014. Revised Selected Papers

Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

Object-Oriented Technology. ECOOP '98 Workshop Reader: ECOOP'98 Workshop, Demos, and Posters Brussels, Belgium, July 20-24, 1998 Proceedings

Programming Languages and Systems: 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Euro-Par 2010 - Parallel Processing: 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part I

Service-Oriented Computing - ICSOC 2016 Workshops: ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected Papers

Augmented and Virtual Reality: First International Conference, AVR 2014, Lecce, Italy, September 17-20, 2014, Revised Selected Papers

Central European Functional Programming School: 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Structured Object-oriented Formal Language And Method: 10th International Workshop, Sofl+msvl 2020, Singapore, March 1, 2021, Revised Selected Papers

Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

Approximation And Online Algorithms: 18th International Workshop, Waoa 2020, Virtual Event, September 9-10, 2020, Revised Selected Papers

Functional And Constraint Logic Programming: 28th International Workshop, Wflp 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers

Recent Trends In Algebraic Development Techniques: 25th International Workshop, Wadt 2020, Virtual Event, April 29, 2020, Revised Selected Papers

Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers

Job Scheduling Strategies For Parallel Processing: 24th International Workshop, Jsspp 2021, Virtual Event, May 21, 2021, Revised Selected Papers

Rewriting Logic And Its Applications: 13th International Workshop, Wrla 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers

Languages And Compilers For Parallel Computing: 33rd International Workshop, Lcpc 2020, Virtual Event, October 14-16, 2020, Revised Selected Papers

Trends In Functional Programming: 22nd International Symposium, Tfp 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers

Formal Techniques For Safety-critical Systems: 4th International Workshop, Ftscs 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

High-performance Scientific Computing: First Jara-hpc Symposium, Jhpcs 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers

Functional and Constraint Logic Programming: 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

Job Scheduling Strategies for Parallel Processing: 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers

New Frontiers In Quantitative Methods In Informatics: 7th Workshop, Infq 2017, Venice, Italy, December 4, 2017, Revised Selected Papers

Languages and Compilers for Parallel Computing: 32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22-24, 2019, Revised Selected Papers

Software Engineering And Formal Methods: 19th International Conference, Sefm 2021, Virtual Event, December 6-10, 2021, Proceedings

Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

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