Yazar
Franck Cassez
4 cilt bulundu.
Cilt sonuçları
Automated Technology for Verification and Analysis
Franck Cassez, Jean-Francois Raskin · Springer
442 sayfa · 2014
Computer software / Software engineering / Computer science / Computer Communication Networks / Logic design
Modeling and verification of parallel processes
Franck Cassez, France) MOVEP 2000 (2000 Nantes · Springer
Sayfa sayısı yok · 2001
Parallel processing (Electronic computers)
Modeling and Verification of Parallel Processes
Franck Cassez, Claude Jard, Brigitte Rozoy, Mark D. Ryan · Springer London, Limited
234 sayfa · 2003
Kategori yok