Structured Object-Oriented Formal Language and Method

5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. 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: 9783319312200
Publisher: Springer International Publishing Publication: March 17, 2016
Imprint: Springer Language: English
Author:
ISBN: 9783319312200
Publisher: Springer International Publishing
Publication: March 17, 2016
Imprint: Springer
Language: English

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, held in Paris, France, in November 2015. The 15 papers presented in this volume were carefully reviewed and selected from 22 submissions. 

The focus of this workshops was on following subjects: Modeling, specification, verification, model checking, testing, debugging, transformation, and algorithm.

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 post-workshop proceedings of the 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, held in Paris, France, in November 2015. The 15 papers presented in this volume were carefully reviewed and selected from 22 submissions. 

The focus of this workshops was on following subjects: Modeling, specification, verification, model checking, testing, debugging, transformation, and algorithm.

More books from Springer International Publishing

Cover of the book Do Colors Exist? by
Cover of the book The European Union and Europe's New Regionalism by
Cover of the book Quantization, Geometry and Noncommutative Structures in Mathematics and Physics by
Cover of the book Translating Molecules into Medicines by
Cover of the book Cellular Automata by
Cover of the book Biofuels in Brazil by
Cover of the book Illustrative Handbook of General Surgery by
Cover of the book Dignity in the Workplace by
Cover of the book Nanotechnology, Food Security and Water Treatment by
Cover of the book Information and Communication Technologies in Education, Research, and Industrial Applications by
Cover of the book Lung Cancer and Personalized Medicine: Novel Therapies and Clinical Management by
Cover of the book Polyglutamine Disorders by
Cover of the book Translation and the Intersection of Texts, Contexts and Politics by
Cover of the book Fast Design, Slow Innovation by
Cover of the book Proteomics in Domestic Animals: from Farm to Systems Biology 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