Catalog > Science > Informatique > 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

Support

Couverture du 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

Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !

Langue Anglais ● Format PDF ● Pages 312 ● ISBN 9781498701594 ● Éditeur Luigia Petre & Emil Sekerinski ● Maison d’édition CRC Press ● Publié 2016 ● Téléchargeable 3 fois ● Devise EUR ● ID 4917136 ● Protection contre la copie Adobe DRM

Nécessite un lecteur de livre électronique compatible DRM

Plus d’ebooks du même auteur(s) / Éditeur

Luigia Petre Emil Sekerinski

74 462 Ebooks dans cette catégorie

Couverture du 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 …

Couverture du 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

Couverture du 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 …

Couverture du Nidhi Arora: Trackpad Ver. 2.0 Class 8

Nidhi Arora: Trackpad Ver. 2.0 Class 8

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 …

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Page suivante >>>