Concurrency, Graphs and Models
Concurrency, Graphs and Models
Rocco de Nicola
,
Pierpaolo Degano
,
José Meseguer
Details
OL Work ID
OL25663500W
Subjects
Software engineering
Computer simulation
Computer programming
Computer software, verification
Machine theory
Graph theory
Find this book
Goodreads
Open Library