Structured Object-Oriented Formal Language and Method

7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers

Nonfiction, Computers, Programming, Software Development, General Computing
Cover of the book Structured Object-Oriented Formal Language and Method by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319901046
Publisher: Springer International Publishing Publication: April 20, 2018
Imprint: Springer Language: English
Author:
ISBN: 9783319901046
Publisher: Springer International Publishing
Publication: April 20, 2018
Imprint: Springer
Language: English

This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xi’an, China, in November 2017.

The 13 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: animation and prototyping; graph theory; model checking; modeling and specification; and verification and validation.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xi’an, China, in November 2017.

The 13 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: animation and prototyping; graph theory; model checking; modeling and specification; and verification and validation.

More books from Springer International Publishing

Cover of the book Adaptive Sports Medicine by
Cover of the book Nonlinear Analysis - Theory and Methods by
Cover of the book Plasticity-Damage Couplings: From Single Crystal to Polycrystalline Materials by
Cover of the book The Cyclic Peptide Toxins of Amanita and Other Poisonous Mushrooms by
Cover of the book Genetic Programming by
Cover of the book An Introduction to Tensors and Group Theory for Physicists by
Cover of the book Geometric Modeling in Probability and Statistics by
Cover of the book Quantum Chance by
Cover of the book Advances in Knowledge Discovery and Management by
Cover of the book Combinatorial Algorithms by
Cover of the book A Critical Review of Scottish Renewable and Low Carbon Energy Policy by
Cover of the book Biofertilizers for Sustainable Agriculture and Environment by
Cover of the book Modeling, Methodologies and Tools for Molecular and Nano-scale Communications by
Cover of the book Gender Responsive and Participatory Budgeting by
Cover of the book Diffusive Spreading in Nature, Technology and Society by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy