Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Atif, Muhammad.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Understanding behaviour of distributed systems using mCRL2 by: Atif, Muhammad.; Groote, J. F.; SpringerLink (Online service) (Electronic resources)

Subjects

Electronic data processing- Distributed processing. Mathematical Logic and Foundations. Mathematical and Computational Biology. Mathematical Applications in Computer Science. System analysis- Computer simulation. Computer Modelling. Markov Process.

Change password

Login