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

Edited by Shaoying Liu , Zhenhua Duan , Ai Liu

Mar 25, 2023

$77.95

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

Overview

No. of Pages

151

Lecture Notes In Computer Science

Publisher: Springer International Publishing

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

ISBN: 9783031294754

Handbook of Graph Theory, Combinatorial Optimization, and Algorithms

Kobo eBook
$383.99
2 formats available
A Developer's Guide to Building Resilient Cloud Applications with Azure: Deploy applications on serverless and event-driven architecture using a cloud database

Hamida Rebai Trabelsi Paperback
$50.99
2 formats available
Advanced Visual Interfaces. Supporting Big Data Applications: Avi 2016 Workshop, Avi-bda 2016, Bari, Italy, June 7-10, 2016, Revised Selected Papers

Marco X. Bornschlegl Paperback
$80.50
2 formats available
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 Kobo eBook
$12.99
Asp.net Core Application Development: Building An Application In Four Sprints

James Chambers Paperback
$56.24
Multimedia: Making It Work, Ninth Edition: Making It Work, Ninth Edition

Tay Vaughan Paperback
$104.00
2 formats available
Formatting for File Conversion and Publication

Helen Wisniewski Paperback
$11.99
2 formats available
Creating Software with Modern Diagramming Techniques: Build Better Software with Mermaid

Ashley Peacock Paperback
$36.95
2 formats available
JavaScript: The Definitive Guide: Master the World's Most-Used Programming Language, 7th Edition

David Flanagan Audiobook
$75.50
2 formats available
Hands-on MuleSoft Anypoint platform Volume 1: Designing and Implementing RAML APIs with MuleSoft Anypoint Platform (English Edition)

Nanda Nachimuthu Kobo eBook
$16.99 ~~Price reduced from $20.48 to~~
Pattern-Oriented Software Architecture, Patterns for Concurrent and Networked Objects

Douglas C. Schmidt Kobo eBook
$84.99
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 5th International Conference, AAECC-5, Menorca, Spain, June 15-19, 1987. Proceedings

Paperback
$71.50
Agent-Oriented Software Engineering XI: 11th International Workshop, AOSE XI, Toronto, Canada, May 10-11, 2010, Revised Selected Papers

Danny Weyns Paperback
$80.50
Pattern-oriented Software Architecture, A Pattern Language For Distributed Computing

Frank Buschmann Hardcover
$76.00
Software Testing Basics: Software Verification Fundamentals for Dedicated Testers in the Medical Device Industry

Paul Felten Paperback
$28.95
Designing Software Architectures: A Practical Approach, 2nd Edition

Humberto Cervantes Kobo eBook
$67.99 ~~Price reduced from $84.99 to~~
Clean Architecture: A Comprehensive Beginners Guide to Learn the Realms of Software Structures Using the Principles of Clean Architecture

William Vance Paperback
$29.99
Adobe Photoshop 2021: A Complete Beginner to Expert Tutorial Guide to Master the New Features of Photoshop 2021

Tom Mulligan Paperback
$17.50
Construction Scheduling With Primavera P6

Jongpil Nam Paperback
$89.95
2 formats available
Software Modeling and Design: UML, Use Cases, Patterns, and Software Architectures

Hassan Gomaa Hardcover
$123.95

Editorial reviews

shaoying liu

Author

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

Huaikou Miao Paperback
$80.50
2 formats available
Structured Object-oriented Formal Language And Method: 10th International Workshop, Sofl+msvl 2020, Singapore, March 1, 2021, Revised Selected Papers

Jinyun Xue Paperback
$80.50
2 formats available
Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Akash Lal Paperback
$80.50
2 formats available
Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

Shaoying Liu Paperback
$65.95
2 formats available
Formal Techniques For Safety-critical Systems: 4th International Workshop, Ftscs 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Cyrille Artho Paperback
$80.50
2 formats available
Tools and Methods of Program Analysis: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

Rostislav Yavorskiy Paperback
$94.95
2 formats available
Evaluation of Novel Approaches to Software Engineering: 14th International Conference, ENASE 2019, Heraklion, Crete, Greece, May 4-5, 2019, Revised Selected Papers

Ernesto Damiani Paperback
$80.50
2 formats available
Evaluation Of Novel Approaches To Software Engineering: 16th International Conference, Enase 2021, Virtual Event, April 26-27, 2021, Revised Selected Papers

Raian Ali Paperback
$131.50
2 formats available
Recent Trends in Algebraic Development Techniques: 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers

Alexandre Madeira Paperback
$80.50
2 formats available
Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings

Omri Isac Paperback
$102.50
2 formats available
Evaluation of Novel Approaches to Software Engineering: 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5-6, 2020, Revised Selected Papers

Raian Ali Paperback
$80.50
2 formats available
Job Scheduling Strategies for Parallel Processing: 25th International Workshop, JSSPP 2022, Virtual Event, June 3, 2022, Revised Selected Papers

Dalibor Klus Paperback
$102.50
2 formats available
Evaluation of Novel Approaches to Software Engineering: 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers

Hermann Kaindl Paperback
$131.50
2 formats available
Modelling and Simulation for Autonomous Systems: 10th International Conference, MESAS 2023, Palermo, Italy, October 17-19, 2023, Revised Selected Papers

Jan Mazal Paperback
$116.95
2 formats available
Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers

Maurizio Gabbrielli Paperback
$80.50
2 formats available
Model-Driven Engineering and Software Development: 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020, Revised Selected Papers

Slimane Hammoudi Paperback
$80.50
2 formats available
Functional And Constraint Logic Programming: 28th International Workshop, Wflp 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers

Michael Hanus Paperback
$80.50
2 formats available
Verification and Evaluation of Computer and Communication Systems: 15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, Revised Selected Papers

Ayoub Nouri Paperback
$87.95
2 formats available
Learning Technologies and Systems: 21st International Conference on Web-Based Learning, ICWL 2022, and 7th International Symposium on Emerging Technologies for Education, SETE 2022, Tenerife, Spain, November 21-23, 2022, Revised Selected Papers

Carina S. González-Gonz Paperback
$145.95
2 formats available
Job Scheduling Strategies for Parallel Processing: 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers

Narayan Desai Paperback
$80.50
2 formats available

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

Overview

You May Also Like

Handbook of Graph Theory, Combinatorial Optimization, and Algorithms

A Developer's Guide to Building Resilient Cloud Applications with Azure: Deploy applications on serverless and event-driven architecture using a cloud database

Advanced Visual Interfaces. Supporting Big Data Applications: Avi 2016 Workshop, Avi-bda 2016, Bari, Italy, June 7-10, 2016, Revised Selected Papers

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

Asp.net Core Application Development: Building An Application In Four Sprints

Multimedia: Making It Work, Ninth Edition: Making It Work, Ninth Edition

Formatting for File Conversion and Publication

Creating Software with Modern Diagramming Techniques: Build Better Software with Mermaid

JavaScript: The Definitive Guide: Master the World's Most-Used Programming Language, 7th Edition

Hands-on MuleSoft Anypoint platform Volume 1: Designing and Implementing RAML APIs with MuleSoft Anypoint Platform (English Edition)

Pattern-Oriented Software Architecture, Patterns for Concurrent and Networked Objects

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 5th International Conference, AAECC-5, Menorca, Spain, June 15-19, 1987. Proceedings

Agent-Oriented Software Engineering XI: 11th International Workshop, AOSE XI, Toronto, Canada, May 10-11, 2010, Revised Selected Papers

Pattern-oriented Software Architecture, A Pattern Language For Distributed Computing

Software Testing Basics: Software Verification Fundamentals for Dedicated Testers in the Medical Device Industry

Designing Software Architectures: A Practical Approach, 2nd Edition

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

Adobe Photoshop 2021: A Complete Beginner to Expert Tutorial Guide to Master the New Features of Photoshop 2021

Construction Scheduling With Primavera P6

Software Modeling and Design: UML, Use Cases, Patterns, and Software Architectures

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

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

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

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

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

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

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

Evaluation of Novel Approaches to Software Engineering: 14th International Conference, ENASE 2019, Heraklion, Crete, Greece, May 4-5, 2019, Revised Selected Papers

Evaluation Of Novel Approaches To Software Engineering: 16th International Conference, Enase 2021, Virtual Event, April 26-27, 2021, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers

Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings

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

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

Evaluation of Novel Approaches to Software Engineering: 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers

Modelling and Simulation for Autonomous Systems: 10th International Conference, MESAS 2023, Palermo, Italy, October 17-19, 2023, Revised Selected Papers

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

Model-Driven Engineering and Software Development: 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020, Revised Selected Papers

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

Verification and Evaluation of Computer and Communication Systems: 15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, Revised Selected Papers

Learning Technologies and Systems: 21st International Conference on Web-Based Learning, ICWL 2022, and 7th International Symposium on Emerging Technologies for Education, SETE 2022, Tenerife, Spain, November 21-23, 2022, Revised Selected Papers

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