Yazar
Franck van Breugel
7 cilt bulundu.
Cilt sonuçları
Comparative metric semantics of programming languages
Franck van Breugel · Birkhäuser
220 sayfa · 1998
Semantics / Programming languages (Electronic computers) / Computer programming / Programmable logic devices
Mathematical techniques for analyzing concurrent and probabilistic systems
Franck van Breugel · American Mathematical Society, Centre de Recherches Mathematiques
215 sayfa · 2004
System analysis
Concur 2008 Concurrency Theory 19th International Conference Concur 2008 Toronto Canada August 1922 2008 Proceedings
Franck van Breugel · Springer
524 sayfa · 2008
Logic design / Information theory / Computer science / Parallel processing (electronic computers) / Congresses
Horizons of the Mind. A Tribute to Prakash Panangaden
Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten · Springer London, Limited
517 sayfa · 2014
Logic, symbolic and mathematical / Computer science / Logic design / Logics and Meanings of Programs / Mathematical Logic and Formal Languages