Ebook > Ciencia > Informática > 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

Soporte

Portada de 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

¡Compre este libro electrónico y obtenga 1 más GRATIS!

Idioma Inglés ● Formato PDF ● Páginas 312 ● ISBN 9781498701594 ● Editor Luigia Petre & Emil Sekerinski ● Editorial CRC Press ● Publicado 2016 ● Descargable 3 veces ● Divisa EUR ● ID 4917136 ● Protección de copia Adobe DRM

Requiere lector de ebook con capacidad DRM

Más ebooks del mismo autor / Editor

Luigia Petre Emil Sekerinski

73.945 Ebooks en esta categoría

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

siguiente página >>>