Yazar
willem paul de roever
8 cilt bulundu.
W.-P. de Roever, Willem-Paul de Roever, Kai Engelhardt · Cambridge University Press
429 sayfa · 1998
Computer simulation / Verification / Data structures (Computer science) / Computer programs / Databases & data structures
Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever · Springer
283 sayfa · 2004
Formal methods (Computer science) / Congresses / Component software / Object-oriented programming (Computer science) / Software engineering
Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever · Springer London, Limited
429 sayfa · 2006
Formal methods (Computer science) / Congresses / Component software / Object-oriented programming (Computer science) / Informatique
Hans Langmaack, Willem-Paul de Roever, Jan Vytopil · Springer-Verlag
787 sayfa · 1994
Real-time data processing / Fault-tolerant computing
Willem-Paul de Roever, Grzegorz Rozenberg, J. W. de Bakker, W.-P. de Roever · Springer
713 sayfa · 1989
Parallel processing (Electronic computers) / Distributed processing / Electronic data processing / REX / Programmation
Frank S. de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever · Springer London, Limited
511 sayfa · 2003
Formal methods (Computer science) / Congresses / Component software / Object-oriented programming (Computer science) / Computer science
W.-P. de Roever, Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers · Cambridge University Press
798 sayfa · 2001
Parallel processing (Electronic computers) / Verification / Computer software / Parallel processing (electronic computers) / Computer software, verification
Willem-Paul de Roever, Hans Langmaack, Amir Pnueli · Springer London, Limited
Sayfa sayısı yok · 2003
Kategori yok