E-kitap > Bilim > Bilgisayar Bilimi > Luigia Petre & Emil Sekerinski: From Action Systems to Distributed Systems (PDF)

Luigia Petre & Emil Sekerinski
From Action Systems to Distributed Systems [PDF ebook]
The Refinement Approach

Destek

Örtmek Luigia Petre & Emil Sekerinski: From Action Systems to Distributed Systems (PDF)

Formal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting that the software-intensive systems that form our society’s infrastructures are behaving according to their specifications. More recently, formal methods are also used to understand propert

€57.81

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

Dil İngilizce ● Biçim PDF ● Sayfalar 312 ● ISBN 9781498701594 ● Editör Luigia Petre & Emil Sekerinski ● Yayımcı CRC Press ● Yayınlanan 2016 ● İndirilebilir 3 kez ● Döviz EUR ● Kimlik 4917136 ● Kopya koruma Adobe DRM

DRM özellikli bir e-kitap okuyucu gerektirir

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

Luigia Petre Emil Sekerinski

74.462 Bu kategorideki e-kitaplar

Örtmek El-P. & El-I. Taylor: Understanding the Basics About Bitcoin & Other Cryptocurrencies, the Beginner’s 101 Guide - An Introductory Explanation for Beginners Part 1 the First Most Comprehensive Book to Understanding Cryptocurrency With Step-By-Step Instruct

El-P. & El-I. Taylor: Understanding the Basics About Bitcoin & Other Cryptocurrencies, the Beginner’s 101 Guide – An Introductory Explanation for Beginners Part 1 the First Most Comprehensive Book to Understanding Cryptocurrency With Step-By-Step Instruct

Understanding the Basics About Bitcoin & Other Cryptocurrencies is the Beginner”s Go-To-Guide for Understanding Cryptocurrency and is intended to be used as a manual/handbook. It first lays the nece …

Örtmek Alex Chi Keung Ng: Contemporary Identity and Access Management Architectures: Emerging Research and Opportunities

Alex Chi Keung Ng: Contemporary Identity and Access Management Architectures: Emerging Research and Opportunities

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

Örtmek Nidhi Arora: Trackpad Ver. 1.0 Class 3

Nidhi Arora: Trackpad Ver. 1.0 Class 3

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 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 Shalini Harisukh: Trackpad Information Technology Class 10

Shalini Harisukh: Trackpad Information Technology Class 10

The chapters of this book have been selected and designed as per the CBSE curriculum of Skill Education course on IT. KEY FEATURES – National Education Policy 2020 – Sneak Peek: This section contains …

Ö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 Gupta: Touchpad Plus Ver. 4.0 Class 7

Nidhi Gupta: Touchpad Plus Ver. 4.0 Class 7

Computer Science Textbook with New Pedagogical Approaches KEY FEATURES – National Education Policy 2020 – Tech Funda: This section provides a practical information or tip to the students. – Clickiped …

Örtmek Nicholas Bernhardt Zeman: Essential Skills for 3D Modeling, Rendering, and Animation

Nicholas Bernhardt Zeman: Essential Skills for 3D Modeling, Rendering, and Animation

The Key to Fully Understanding the Basics of a 3D World Prominently used in games, movies, and on television, 3D graphics are tools of creation used to enhance how material and light come together to …

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

Sonraki Sayfa >>>