E-kitap > Bilim > Bilgisayar Bilimi > 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

Destek

Örtmek 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

Bu e-kitabı satın alın ve 1 tane daha ÜCRETSİZ kazanın!

Dil İngilizce ● Biçim EPUB ● ISBN 9783030136512 ● Editör Zhenhua Duan & Shaoying Liu ● Yayımcı Springer International Publishing ● Yayınlanan 2019 ● İndirilebilir 3 kez ● Döviz EUR ● Kimlik 7013950 ● Kopya koruma Adobe DRM

DRM özellikli bir e-kitap okuyucu gerektirir

Aynı yazardan daha fazla e-kitap / Editör

Zhenhua Duan Shaoying Liu Fumiko Nagoya Cong Tian

74.541 Bu kategorideki e-kitaplar

Örtmek 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 …

Örtmek 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 …

Örtmek 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 …

Örtmek 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 …

Örtmek 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 …

Örtmek 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 …

Örtmek 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 …

Örtmek 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 …

Örtmek 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 …

Örtmek 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 …

Sonraki Sayfa >>>