Yazar
Claude Jard
4 cilt bulundu.
Cilt sonuçları
Communicating embedded systems
Claude Jard · ISTE Ltd/John Wiley and Sons
288 sayfa · 2009
Development / Embedded computer systems / Formal methods (Computer science) / Computer software / Programming
Formal Modeling and Analysis of Timed Systems
Lecture Notes in Computer Science
Claude Jard · Springer
294 sayfa · 2008
Logic design / Information theory / Computer system performance / Computer science / Software engineering
Modeling and Verification of Parallel Processes
Franck Cassez, Claude Jard, Brigitte Rozoy, Mark D. Ryan · Springer London, Limited
234 sayfa · 2003
Kategori yok