Ebook > Sciences > Computer Science > 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

Cover of 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

Buy this ebook and get 1 more FREE!

Language English ● Format PDF ● Pages 312 ● ISBN 9781498701594 ● Editor Luigia Petre & Emil Sekerinski ● Publisher CRC Press ● Published 2016 ● Downloadable 3 times ● Currency EUR ● ID 4917136 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Luigia Petre Emil Sekerinski

73,945 Ebooks in this category

Cover of 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 …

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

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

Cover of 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 …

Cover of 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 …

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

Cover of 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 …

Cover of 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 …

Cover of 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 …

Cover of 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 …