Catalog > Sains > Ilmu Komputer > 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

Dukung

Sampul 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.76

Beli ebook ini dan dapatkan 1 lagi GRATIS!

Bahasa Inggris ● Format PDF ● Halaman 312 ● ISBN 9781498701594 ● Editor Luigia Petre & Emil Sekerinski ● Penerbit CRC Press ● Diterbitkan 2016 ● Diunduh 3 kali ● Mata uang EUR ● ID 4917136 ● Perlindungan salinan Adobe DRM

Membutuhkan pembaca ebook yang mampu DRM

Ebook lainnya dari penulis yang sama / Editor

Luigia Petre Emil Sekerinski

74,960 Ebooks dalam kategori ini

Sampul Freedom O Isaac: The Easiest Ways To Become A Successful Blogger With pictures Guide

Freedom O Isaac: The Easiest Ways To Become A Successful Blogger With pictures Guide

This book is packaged with many relevant information that will help anybody to design a beautiful blog. Even those that have no computer knowledge before can design a professional website with this b …

Sampul Sanjiv Purba: High-Performance Web Databases

Sanjiv Purba: High-Performance Web Databases

As Web-based systems and e-commerce carry businesses into the 21st century, databases are becoming workhorses that shoulder each and every online transaction. For organizations to have effective 24/7 …

Sampul El-Princess & El-Ivan Taylor: Understanding the Basics About Bitcoin & Other Cryptocurrencies, The Beginner’s 101 Guide - An Introductory Explanation for Beginners, The first most comprehensive book to understanding cryptocurrency with step-by-step instru

El-Princess & El-Ivan Taylor: Understanding the Basics About Bitcoin & Other Cryptocurrencies, The Beginner’s 101 Guide – An Introductory Explanation for Beginners, The first most comprehensive book to understanding cryptocurrency with step-by-step instru

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 …

Sampul Michael Macaulay: Introduction to Web Interaction Design

Michael Macaulay: Introduction to Web Interaction Design

This book introduces standard and new HTML5 elements and attributes and CSS3 properties commonly used in Web design as well as design guidelines for their effective use. Its approach of explaining ev …

Sampul Geeta Zunjani: Touchpad Plus Ver. 3.1 Class 8

Geeta Zunjani: Touchpad Plus Ver. 3.1 Class 8

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

Sampul Bijay Kumar Sahoo: SharePoint Online Modern Experience Practical Guide - 2nd Edition

Bijay Kumar Sahoo: SharePoint Online Modern Experience Practical Guide – 2nd Edition

Share Point Online Modern Experience Practical Guide, 2nd Edition is a comprehensive guide that will teach you everything you need to know about Share Point Online Modern Experience. The book begins …

Sampul Team Orange: TouchCode Class 4

Team Orange: TouchCode Class 4

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 …

Sampul K. Chandrasekaran: Essentials of Cloud Computing

K. Chandrasekaran: Essentials of Cloud Computing

Cloud computing-accessing computing resources over the Internet-is rapidly changing the landscape of information technology. Its primary benefits compared to on-premise computing models are reduced c …

Sampul Robin Nixon: HTML5 and CSS3 Masterclass

Robin Nixon: HTML5 and CSS3 Masterclass

HTML5 and CSS3 Masterclass is an all-inclusive book that teaches and transforms you into a self-reliant web developer capable of creating your websites as soon as you finish reading the book. Every t …

Sampul The Cheat Mistress: EZ Cheats: Multiformat

The Cheat Mistress: EZ Cheats: Multiformat

Halaman selanjutnya >>>