Catalog > Sciences > Computer Science > Zhenhua Duan & Shaoying Liu: Structured Object-Oriented Formal Language and Method (ePUB)

Zhenhua Duan & Shaoying Liu
Structured Object-Oriented Formal Language and Method [EPUB ebook]
8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

Support

Cover of Zhenhua Duan & Shaoying Liu: Structured Object-Oriented Formal Language and Method (ePUB)

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.

€57.61

Buy this ebook and get 1 more FREE!

Language English ● Format EPUB ● ISBN 9783030136512 ● Editor Zhenhua Duan & Shaoying Liu ● Publisher Springer International Publishing ● Published 2019 ● Downloadable 3 times ● Currency EUR ● ID 7013950 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Zhenhua Duan Shaoying Liu Fumiko Nagoya Cong Tian

74,618 Ebooks in this category

Cover of Robert Rybaric: Microsoft Power Platform Up and Running

Robert Rybaric: Microsoft Power Platform Up and Running

The author of ‘Microsoft Power Platform Up and Running’ is an experienced subject expert on technology, so the book is engaging, well-illustrated, and aims to make it easier to implement the technolo …

Cover of Otavio Santana: Java Persistence with NoSQL

Otavio Santana: Java Persistence with NoSQL

Java Persistence with No SQL is a comprehensive guide that offers a unique blend of theoretical knowledge and practical implementation, making it an invaluable resource for those seeking to excel in …

Cover of 乔恩 ·劳: 小型企业社交媒体营销

乔恩 ·劳: 小型企业社交媒体营销

社交媒体已经成为当前全球舞台上主导连接与协作的媒介。对于人们和社会来说，这种转变的影响是巨大的。而对于企业而言，影响则更为深远。在现代全球化和数字化的生态系统中，企业依赖于几十年前还无法获得的一整套工具。虽然出现了新的挑战，但小企业也因此获得了前所未有的机会，能够在社交媒体和数字营销赋能的竞争格局中崛起。写作《面向小型企业的社交媒体营销》这一想法，是当一位朋友向我展示了她为学习如何在社交媒体上 …

Cover of Team Orange: TouchCode Class 5

Team Orange: TouchCode Class 5

An Activity Book to Develop Coding Skills KEY FEATURES – National Education Policy 2020 – Crack the Code: It includes fun-based adventurous activities. – Time Taken: It lets the child analyse how muc …

Cover of Team Orange: Touchpad Play Ver 2.0 Class 1

Team Orange: Touchpad Play Ver 2.0 Class 1

Computer Science Textbook Windows 10 & MS Office 2016 KEY FEATURES – National Education Policy 2020 – Tech Funda: This section provides a practical information or tip to the students. – Clickipedia: …

Cover of Kim van Lavieren: ISC2 Certified Cloud Security Professional (CCSP) Exam Guide

Kim van Lavieren: ISC2 Certified Cloud Security Professional (CCSP) Exam Guide

Cloud security is a rapidly evolving field, demanding professionals with specialized knowledge and expertise. This book equips you with the foundational understanding and practical skills necessary t …

Cover of Mark Powell: Fifth Phase

Mark Powell: Fifth Phase

The connected world offers the potential for radical new business insights gleaned from previously unimaginable volumes of data. But business has got bogged down in the process of collecting and stor …

Cover of Geeta Zunjani: Touchpad Plus Ver. 3.1 Class 2

Geeta Zunjani: Touchpad Plus Ver. 3.1 Class 2

Computer Science Textbook Designed for Joyful Learning KEY FEATURES – National Education Policy 2020 – Tech Funda: This section provides a practical information or tip to the students. – Clickipedia: …

Cover of Bhawna Sharma: Touchpad Prime Ver. 2.1 Class 7

Bhawna Sharma: Touchpad Prime Ver. 2.1 Class 7

Computer Science Textbook Designed for Joyful Learning KEY FEATURES – National Education Policy 2020 – QR Code: Scan the QR Code given on each chapter to start chapter animation. – Fun Fact!: This pr …

Cover of Nidhi Arora: Trackpad Pro Ver. 5.0 Class 5

Nidhi Arora: Trackpad Pro Ver. 5.0 Class 5

Computer Science Textbook Designed for Joyful Learning KEY FEATURES – National Education Policy 2020 – Find on Google: This section asks a quick question from the present world. – Pure Fact: This pre …