Електронна книга > Наука > Информатика > 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

поддержка

Обложка 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.37

Купите эту электронную книгу и получите еще одну БЕСПЛАТНО!

язык английский ● Формат PDF ● страницы 312 ● ISBN 9781498701594 ● редактор Luigia Petre & Emil Sekerinski ● издатель CRC Press ● опубликованный 2016 ● Загружаемые 3 раз ● валюта EUR ● Код товара 4917136 ● Защита от копирования Adobe DRM

Требуется устройство для чтения электронных книг с поддержкой DRM

Больше книг от того же автора (ов) / редактор

Luigia Petre Emil Sekerinski

73 945 Электронные книги в этой категории

Обложка Nick Vandome: Lightroom in easy steps

Nick Vandome: Lightroom in easy steps

Lightroom in easy steps guides you through Adobe Lightroom’s sophisticated range of tools to enable you to create stunning photos. In no time, you’ll master:The desktop, mobile, and web versions of …

Обложка Nick Vandome: iPhone for Seniors in easy steps, 7th edition

Nick Vandome: iPhone for Seniors in easy steps, 7th edition

i Phone for Seniors in easy steps, 7th edition is now updated to cover all i Phones with i OS 14. It’ll show you how to:Make and receive phone calls Text with the Messages app, including a variety of …

Обложка Nick Vandome: iPad for Seniors in easy steps, 13th edition

Nick Vandome: iPad for Seniors in easy steps, 13th edition

This bestselling guide, i Pad for Seniors in easy steps, 13th edition, is updated to cover i Pad OS 17. Written in larger type, it’ll help senior folks learn how to use and enjoy myriad i Pad …

Обложка Nick Vandome: Windows 11 in easy steps, 2nd edition

Nick Vandome: Windows 11 in easy steps, 2nd edition

Windows 11 was first released in 2021 and was a major evolution of the Windows operating system. This has continued with regular updates, with the latest one being the Windows 11 24H2 update. Windows …

Обложка Alessandro Straccia: Interactive Web Development with Three.js and A-Frame

Alessandro Straccia: Interactive Web Development with Three.js and A-Frame

Build rich Creative Technology projects using 3D, AR, and VRBook Description Embark on an amazing journey into the world of Creative Development with this comprehensive guide. From the basics of …

Обложка Anjani Kumar & Sagar Lad: Mastering Databricks Lakehouse Platform

Anjani Kumar & Sagar Lad: Mastering Databricks Lakehouse Platform

Starting with the fundamentals of the databricks lakehouse platform, the book teaches readers on administering various data operations, including Machine Learning, Dev Ops, Data Warehousing, and BI …

Обложка Christophe Dervieux & Emily Riederer: R Markdown Cookbook

Christophe Dervieux & Emily Riederer: R Markdown Cookbook

This new book written by the developers of R Markdown is an essential reference that will help users learn and make full use of the software. Those new to R Markdown will appreciate the short, prac …

Обложка Michael A. (Stonewall'em, Etobicoke, Ontario, Canada) Simonyi: Securing Windows NT/2000

Michael A. (Stonewall’em, Etobicoke, Ontario, Canada) Simonyi: Securing Windows NT/2000

In today»s business environment it is no longer safe to conduct any business on the Internet without first protecting it. Small, medium, and large corporations require a massive dose of security to …

Обложка Arpit Kulsreshtha: iOS 17 App Development for Beginners

Arpit Kulsreshtha: iOS 17 App Development for Beginners

"i OS 17 App Development for Beginners" is a definitive guide to building i OS apps with Swift. This book teaches the fundamentals of Swift, laying the foundation for future app …

Обложка Nipun Jaswal: Mastering Network Forensics

Nipun Jaswal: Mastering Network Forensics

Network forensics is a rapidly growing field with a high demand for skilled professionals. This book provides a comprehensive guide on the subject, covering everything from the fundamentals to …

Следущая страница >>>