Ebook > Sains > Sains 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

Sokongan

perlindungan daripada 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

Beli ebook ini dan dapatkan 1 lagi PERCUMA!

Bahasa Inggeris ● Format PDF ● Halaman-halaman 312 ● ISBN 9781498701594 ● Penyunting Luigia Petre & Emil Sekerinski ● Penerbit CRC Press ● Diterbitkan 2016 ● Muat turun 3 kali ● Mata wang EUR ● ID 4917136 ● Salin perlindungan Adobe DRM

Memerlukan pembaca ebook yang mampu DRM

Lebih banyak ebook daripada pengarang yang sama / Penyunting

Luigia Petre Emil Sekerinski

73,945 Ebooks dalam kategori ini

perlindungan daripada 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 …

perlindungan daripada 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 …

perlindungan daripada 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 …

perlindungan daripada 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 …

perlindungan daripada 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 …

perlindungan daripada 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 …

perlindungan daripada 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 …

perlindungan daripada 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 …

perlindungan daripada 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 …

perlindungan daripada 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 …

Muka surat seterusnya >>>