Catalog > Ciencia > Informática > 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

Soporte

Portada de 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

¡Compre este libro electrónico y obtenga 1 más GRATIS!

Idioma Inglés ● Formato EPUB ● ISBN 9783030136512 ● Editor Zhenhua Duan & Shaoying Liu ● Editorial Springer International Publishing ● Publicado 2019 ● Descargable 3 veces ● Divisa EUR ● ID 7013950 ● Protección de copia Adobe DRM

Requiere lector de ebook con capacidad DRM

Más ebooks del mismo autor / Editor

Zhenhua Duan Shaoying Liu Fumiko Nagoya Cong Tian

74.541 Ebooks en esta categoría

Portada de Mariusz Wrobel: Active Directory and PowerShell for Jobseekers

Mariusz Wrobel: Active Directory and PowerShell for Jobseekers

"Active Directory and Power Shell for Jobseekers" takes you by the hand, and equips you with essential skills sought after by employers in today’s IT landscape.This book walks you through e …

Portada de Bhawna Sharma: Touchpad Prime Ver. 2.1 Class 5

Bhawna Sharma: Touchpad Prime Ver. 2.1 Class 5

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 …

Portada de Nidhi Arora: Trackpad Ver. 1.0 Class 5

Nidhi Arora: Trackpad Ver. 1.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 …

Portada de Team Orange: TouchCode Class 1

Team Orange: TouchCode Class 1

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 …

Portada de Nidhi Arora: Trackpad Pro Ver. 5.0 Class 2

Nidhi Arora: Trackpad Pro Ver. 5.0 Class 2

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 …

Portada de Nidhi Arora: Trackpad Pro Ver. 5.0 Class 4

Nidhi Arora: Trackpad Pro Ver. 5.0 Class 4

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 …

Portada de Wendy Despain: Writing for Video Game Genres

Wendy Despain: Writing for Video Game Genres

This book, written and edited by members of the International Game Developers Association (IGDA) Game Writing Special Interest Group, follows the acclaimed Professional Techniques for Video Game Writ …

Portada de Sumit Kapoor: AWS DevOps Engineer Professional Certification Guide

Sumit Kapoor: AWS DevOps Engineer Professional Certification Guide

The AWS Dev Ops Engineer Professional Certification Guide is highly challenging and can significantly boost one’s career. It features scenario-based questions with lengthy descriptions, making compre …

Portada de 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 …

Portada de Ashwini Kumar Rath: Concepts and Practices of DevSecOps

Ashwini Kumar Rath: Concepts and Practices of DevSecOps

Dev Ops took shape after the rapid evolution of agile methodologies and tools for managing different aspects of software development and IT operations. This resulted in a cultural shift and quick ado …

siguiente página >>>