Structured Object-Oriented Formal Language and Method

8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

Nonfiction, Computers, Advanced Computing, Artificial Intelligence, 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: 9783030136512
Publisher: Springer International Publishing Publication: April 18, 2019
Imprint: Springer Language: English
Author:
ISBN: 9783030136512
Publisher: Springer International Publishing
Publication: April 18, 2019
Imprint: Springer
Language: English

This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and 

Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018.

The 11 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: programming and testing; verification and validation; semantics; and blockchain.

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 8th International Workshop on Structured Object-Oriented Formal Language and 

Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018.

The 11 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: programming and testing; verification and validation; semantics; and blockchain.

More books from Springer International Publishing

Cover of the book Models, Mindsets, Meta: The What, the How, and the Why Not? by
Cover of the book Innovative Technologies in Everyday Life by
Cover of the book Making Friends on the Fly: Advances in Ad Hoc Teamwork by
Cover of the book The Protection of Traditional Cultural Expressions in Africa by
Cover of the book Oral Pathology in the Pediatric Patient by
Cover of the book Violent Women in Contemporary Theatres by
Cover of the book The Soils of Turkey by
Cover of the book Artificial Intelligence in Label-free Microscopy by
Cover of the book Tools and Mathematics by
Cover of the book Combined Cycle Driven Efficiency for Next Generation Nuclear Power Plants by
Cover of the book Nudge Theory in Action by
Cover of the book SOA Maturity Model by
Cover of the book Membrane Organization and Dynamics by
Cover of the book Peace, Security and Defence Cooperation in Post-Brexit Europe by
Cover of the book Perspectives in Business Informatics Research 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