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: 66.99 CAD
Availability: InStock
Author: Shaoying Liu
ISBN: 9783031294761

Édition : Shaoying Liu

25 avril 2023

66,99 $ ~~Réduction sur le prix courant 83,03 $ à~~

Prix en ligne. Les prix et les offres peuvent différer en magasin.

Acheter le livre numérique

Description

Langue

anglais

Lecture Notes In Computer Science

Publié par: Springer International Publishing

ISBN: 9783031294761

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