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 Diagnostic Competence of Mathematics Teachers by
Cover of the book Evolutionary Ethnobiology by
Cover of the book Thermal Engineering Studies with Excel, Mathcad and Internet by
Cover of the book Achieving Social Impact by
Cover of the book Dynamic Sharing of Wireless Spectrum by
Cover of the book High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation by
Cover of the book European Energy and Climate Security by
Cover of the book Imagining Collective Futures by
Cover of the book State-Formation and Democratization by
Cover of the book Irreversibility and Dissipation in Microscopic Systems by
Cover of the book On-Chip Power Delivery and Management by
Cover of the book At the Crossroads: Challenges of Foreign Language Learning by
Cover of the book The Two-Photon Decay of the 11-/2 Isomer of 137Ba and Mixed-Symmetry States of 92,94Zr and 94Mo by
Cover of the book Spectroscopy of Complex Oxide Interfaces by
Cover of the book Python for Probability, Statistics, and Machine Learning 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