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

Name: Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
Price: 77.95 CAD
Availability: InStock
Author: Ai Liu
ISBN: 9783031294754

Édition : Shaoying Liu , Zhenhua Duan , Ai Liu

25 mars 2023

77,95 $

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

Description

Langue

anglais

Pages

151

Lecture Notes In Computer Science

Publié par: Springer International Publishing

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

ISBN: 9783031294754

Typescript Crash Course: A Hands-On Guide to Building Safer and More Reliable Web Applications

Daniel Cavalcante Couverture souple
47,99 $
Mastering Advanced Scrum: Advanced Scrum Techniques for Scrum Teams, Roles, Artifacts, Events, Metrics, Working Agreements, Advanced Engineering Practices, and Technical Agility (English Edition)

Rituraj Patil Livre numérique Kobo
12,99 $
Clean Architecture: A Craftsman's Guide to Software Structure and Design

Robert Martin Livre numérique Kobo
36,99 $ ~~Réduction sur le prix courant 46,24 $ à~~
Clean Architecture: A Craftsman's Guide To Software Structure And Design

Robert Martin Couverture souple
62,49 $
The 2D Games Journey: A Progressive Study of 2D Games and Essential Algorithms in Flash ActionScript 3.0

Dana Vrajitoru Couverture souple
15,95 $
Clean Architecture: A Comprehensive Beginners Guide to Learn the Realms of Software Structures Using the Principles of Clean Architecture

William Vance Couverture souple
29,99 $
The Art of Application Performance Testing: From Strategy to Tools

Ian Molyneaux Livre numérique Kobo
32,99 $ ~~Réduction sur le prix courant 40,99 $ à~~
Writing Linux Device Drivers: Lab Solutions: a guide with exercises

Jerry Cooperstein Couverture souple
32,50 $
Jakarta EE for Java Developers: Build Cloud-Native and Enterprise Applications Using a High-Performance Enterprise Java Platform (English Edition)

Rhuan Rocha Livre numérique Kobo
12,99 $
The Art of Application Performance Testing: From Strategy to Tools

Ian Molyneaux Couverture souple
47,99 $
UI Testing with Puppeteer: Implement end-to-end testing and browser automation using JavaScript and Node.js

Dario Kondratiuk Couverture souple
46,99 $
2 formats offerts
Writing Linux Device Drivers: a guide with exercises

Jerry Cooperstein Couverture souple
39,00 $
Learn LLVM 12: A beginner's guide to learning LLVM compiler tools and core libraries with C++

Kai Nacke Livre numérique Kobo
44,99 $ ~~Réduction sur le prix courant 55,99 $ à~~
Mobile Testing: An ASTQB-BCS Foundation Guide

Rex Black Couverture souple
52,49 $
2 formats offerts
Systematic Reuse: Issues in Initiating and Improving a Reuse Program: Proceedings of the International Workshop on Systematic Reuse, Liverpool, 8-9 January 1996

Couverture souple
142,95 $
Learning DevOps: A comprehensive guide to accelerating DevOps culture adoption with Terraform, Azure DevOps, Kubernetes, and Jenkins

Mikael Krief Livre numérique Kobo
43,99 $ ~~Réduction sur le prix courant 54,77 $ à~~
Clean Architecture: 3 Books in 1 - Beginner's Guide to Learn Software Structures +Tips and Tricks to Software Programming +Advanced Methods to Software Programming Using Clean Architecture Theories

William Vance Couverture souple
59,00 $
End-to-End Web Testing with Cypress: Explore techniques for automated frontend web testing with Cypress and JavaScript

Waweru Mwaura Livre numérique Kobo
37,99 $ ~~Réduction sur le prix courant 46,56 $ à~~
Kickstart Software Design Architecture: Transform Your Software Development Journey with Key Principles and Advanced Practices in Architecture, Microservices, and Cloud Computing (English Edition)

Dr. Edward D Lavieri Jr. Livre numérique Kobo
41,02 $
Robert Read's How To Be A Programmer

Robert L Read Couverture souple
15,95 $

Évaluation éditoriale

shaoying liu

Auteur

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

Huaikou Miao 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
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
Model-Driven Engineering and Software Development: 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019, Revised Selected Papers

Slimane Hammoudi Couverture souple
80,50 $
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
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Alessandro Aldini Couverture souple
65,95 $
2 formats offerts
Rewriting Logic and Its Applications: 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers

Kyungmin Bae Couverture souple
116,95 $
2 formats offerts
Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Akash Lal Couverture souple
80,50 $
2 formats offerts
Job Scheduling Strategies for Parallel Processing: 26th Workshop, JSSPP 2023, St. Petersburg, FL, USA, May 19, 2023, Revised Selected Papers

Dalibor Klus Couverture souple
80,50 $
2 formats offerts
Evaluation of Novel Approaches to Software Engineering: 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5-6, 2020, Revised Selected Papers

Raian Ali Couverture souple
80,50 $
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
Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLi 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Nina Gierasimczuk Couverture souple
80,50 $
2 formats offerts
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Alessandro Aldini Couverture souple
72,95 $
Algorithms and Architectures for Parallel Processing: 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9-11, 2019, Proceedings, Part II

Sheng Wen Couverture souple
80,50 $
2 formats offerts
Model-Driven Engineering and Software Development: 11th International Conference, MODELSWARD 2023, Lisbon, Portugal, February 19-21, 2023, Revised Selected Papers

Francisco Jos Domínguez Mayo Couverture souple
175,50 $
2 formats offerts
Tools and Methods of Program Analysis: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

Rostislav Yavorskiy Couverture souple
94,95 $
2 formats offerts
Tools And Methods Of Program Analysis: 4th International Conference, Tmpa 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Vladimir Itsykson 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
Evaluation of Novel Approaches to Software Engineering: 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023, Revised Selected Papers

Hermann Kaindl Couverture souple
124,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

Description

Vous aimerez peut-être aussi

Typescript Crash Course: A Hands-On Guide to Building Safer and More Reliable Web Applications

Mastering Advanced Scrum: Advanced Scrum Techniques for Scrum Teams, Roles, Artifacts, Events, Metrics, Working Agreements, Advanced Engineering Practices, and Technical Agility (English Edition)

Clean Architecture: A Craftsman's Guide to Software Structure and Design

Clean Architecture: A Craftsman's Guide To Software Structure And Design

The 2D Games Journey: A Progressive Study of 2D Games and Essential Algorithms in Flash ActionScript 3.0

Clean Architecture: A Comprehensive Beginners Guide to Learn the Realms of Software Structures Using the Principles of Clean Architecture

The Art of Application Performance Testing: From Strategy to Tools

Writing Linux Device Drivers: Lab Solutions: a guide with exercises

Jakarta EE for Java Developers: Build Cloud-Native and Enterprise Applications Using a High-Performance Enterprise Java Platform (English Edition)

The Art of Application Performance Testing: From Strategy to Tools

UI Testing with Puppeteer: Implement end-to-end testing and browser automation using JavaScript and Node.js

Writing Linux Device Drivers: a guide with exercises

Learn LLVM 12: A beginner's guide to learning LLVM compiler tools and core libraries with C++

Mobile Testing: An ASTQB-BCS Foundation Guide

Systematic Reuse: Issues in Initiating and Improving a Reuse Program: Proceedings of the International Workshop on Systematic Reuse, Liverpool, 8-9 January 1996

Learning DevOps: A comprehensive guide to accelerating DevOps culture adoption with Terraform, Azure DevOps, Kubernetes, and Jenkins

Clean Architecture: 3 Books in 1 - Beginner's Guide to Learn Software Structures +Tips and Tricks to Software Programming +Advanced Methods to Software Programming Using Clean Architecture Theories

End-to-End Web Testing with Cypress: Explore techniques for automated frontend web testing with Cypress and JavaScript

Kickstart Software Design Architecture: Transform Your Software Development Journey with Key Principles and Advanced Practices in Architecture, Microservices, and Cloud Computing (English Edition)

Robert Read's How To Be A Programmer

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

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

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

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

Model-Driven Engineering and Software Development: 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019, Revised Selected Papers

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

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Rewriting Logic and Its Applications: 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers

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

Job Scheduling Strategies for Parallel Processing: 26th Workshop, JSSPP 2023, St. Petersburg, FL, USA, May 19, 2023, Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering: 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5-6, 2020, Revised Selected Papers

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

Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLi 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Algorithms and Architectures for Parallel Processing: 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9-11, 2019, Proceedings, Part II

Model-Driven Engineering and Software Development: 11th International Conference, MODELSWARD 2023, Lisbon, Portugal, February 19-21, 2023, Revised Selected Papers

Tools and Methods of Program Analysis: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

Tools And Methods Of Program Analysis: 4th International Conference, Tmpa 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

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

Evaluation of Novel Approaches to Software Engineering: 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023, Revised Selected Papers