小哈圖書下載中心

Modelling Distributed Systems pdf epub mobi txt 電子書下載 2024

☆☆☆☆☆
簡體網頁||繁體網頁

Fokkink, Wan

151

$ 90.34

9783540739371

圖書標籤:

喜歡 Modelling Distributed Systems 的讀者還喜歡

下載链接在页面底部

點擊這裡下載

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製鏈接

想要找書就要到小哈圖書下載中心

qciss.net

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

发表于2024-11-08

Modelling Distributed Systems epub 下載 mobi 下載 pdf 下載 txt 電子書下載 2024

Modelling Distributed Systems pdf epub mobi txt 電子書下載 2024

圖書描述

This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. The author employs CRL as the vehicle, a language developed to combine process algebra and abstract data types. The book evolved from introductory courses on protocol verification taught to undergraduate and graduate students of computer science, and the text is supported throughout with examples and exercises. Full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and lecturer slides are available on the author's website.

Modelling Distributed Systems 下載 mobi epub pdf txt 電子書