登入選單
Google圖書搜尋
Process Algebras for Petri Nets
作者
Roberto Gorrieri
出版Springer, 2017-04-13
ISBN
9783319555591 / 3319555596
主題
Computers
Syntax and Semantics of Petri Nets
作者
Roberto Gorrieri
出版2025-08-31
ISBN
1009613286 / 9781009613286
主題
Computers
Introduction to Concurrency Theory
作者
Roberto Gorrieri / Cristian Versari
出版Springer, 2015-09-02
ISBN
9783319214917 / 3319214918
主題
Computers
Foundations of Security Analysis and Design III
作者
Alessandro Aldini / Roberto Gorrieri / Fabio Martinelli
出版Springer, 2005-09-19
ISBN
9783540319368 / 3540319360
主題
Computers
Automata, Languages and Programming
作者
Pierpaolo Degano
出版Springer Science & Business Media, 1997-06-18
ISBN
3540631658 / 9783540631651
主題
Computers
On Syntactic and Semantic Action Refinement
作者
Ursula Goltz / Roberto Gorrieri / Arend Rensink
出版1992
ISBN
OCLC:832324324
Automata, Languages and Programming
作者
Pierpaolo Degano / Roberto Gorrieri / Alberto Marchetti-Spaccamela
出版Springer, 1997-06-18
ISBN
3540631658 / 9783540631651
主題
Computers
Formal Methods for Open Object-Based Distributed S...
作者
Roberto Gorrieri / Heike Wehrheim
出版Springer Science & Business Media, 2006-06-09
ISBN
9783540348931 / 354034893X
主題
Computers
Refinement, Atomicity and Transactions for Process...
作者
R. Gorrieri
出版1991
ISBN
OCLC:897843111
An Operational Definition of Action Refinement
作者
Pierpaolo Degano / Roberto Gorrieri / Università di Pisa. Dipartimento di informatica
出版1992
ISBN
OCLC:30524340
主題
Concurrent programming
Vertical Bisimulation
作者
Arend Rensink / Roberto Gorrieri
出版1998
ISBN
OCLC:474896571
Automata, Languages and Programming
出版1996
ISBN
OCLC:1180932022
主題
Computer programming
Foundations of Security Analysis and Design III
出版2005
ISBN
OCLC:61714948
主題
Computer networks
Formal Methods for Open Object-based Distributed S...
出版2006
ISBN
OCLC:1149171504
主題
Electronic data processing
Filosofi a cena
作者
Paolo Leali / Roberto Gorrieri
出版Gruppo Albatros Il Filo, 2019-03-04
ISBN
9788830601482 / 8830601489
主題
Philosophy
Filosofi a cena. Racconti in agrodolce con enigmi ...
作者
Paolo Leali / Roberto Gorrieri
出版2018
ISBN
8856796872 / 9788856796872
主題
Fiction
Genitivi. Dall'Arca di Noè alla Z di Zorro
作者
Roberto Gorrieri / Nicoletta Leali
出版2020
ISBN
8874957661 / 9788874957668
主題
Fiction