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 Macroevolution by
Cover of the book Stochastic Analysis for Poisson Point Processes by
Cover of the book Beauty, Ugliness and the Free Play of Imagination by
Cover of the book Ecology of Meromictic Lakes by
Cover of the book Intelligent Systems in Production Engineering and Maintenance – ISPEM 2017 by
Cover of the book A Reader’s Companion to The Prince, Leviathan, and the Second Treatise by
Cover of the book Neurorehabilitation for Central Nervous System Disorders by
Cover of the book Your Guide to the 2017 Total Solar Eclipse by
Cover of the book Security, Privacy and Anonymity in Computation, Communication and Storage by
Cover of the book Authoritarianism, Cultural History, and Political Resistance in Latin America by
Cover of the book Developments and Advances in Intelligent Systems and Applications by
Cover of the book HCI International 2015 - Posters’ Extended Abstracts by
Cover of the book Logical Foundations of Mathematics and Computational Complexity by
Cover of the book Robotic Surgery for Abdominal Wall Hernia Repair by
Cover of the book Historical Developments in Singular Perturbations 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