Sách điện tử > Khoa học > Khoa học máy tính > 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

Ủng hộ

Bìa của 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

Mua cuốn sách điện tử này và nhận thêm 1 cuốn MIỄN PHÍ!

Ngôn ngữ Anh ● định dạng PDF ● Trang 312 ● ISBN 9781498701594 ● Biên tập viên Luigia Petre & Emil Sekerinski ● Nhà xuất bản CRC Press ● Được phát hành 2016 ● Có thể tải xuống 3 lần ● Tiền tệ EUR ● TÔI 4917136 ● Sao chép bảo vệ Adobe DRM

Yêu cầu trình đọc ebook có khả năng DRM

Thêm sách điện tử từ cùng một tác giả / Biên tập viên

Luigia Petre Emil Sekerinski

73.945 Ebooks trong thể loại này

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Trang tiếp theo >>>