Yazar
Jim Woodcock
19 cilt bulundu.
Jim Woodcock · Pitman
281 sayfa · 1988
Computer science / Electronic digital computers / Mathematics / Programming / Software engineering
Jim Woodcock · Springer
361 sayfa · 2010
Logic design / Information Systems / Computer science / Software engineering / Formal methods (Computer science)
Zhiming Liu, Jim Woodcock, Huibiao Zhu · Springer
459 sayfa · 2013
Electronic data processing / Congresses / Information theory / Computer science, mathematics / Computer programming
Bird, Richard, Carroll Morgan, Jim Woodcock · Springer-Verlag
378 sayfa · 1993
Computer programming / Congresses / Computer science / Mathematics / Computer science, mathematics
D. Bjørner, Jones, C. B., Jim Woodcock · Springer London, Limited
538 sayfa · 2007
Formal methods (Computer science) / Congresses / Real-time data processing / System design
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock · Springer London, Limited
396 sayfa · 2006
Software engineering
Chris George, Zhiming Liu, Jim Woodcock · Springer London, Limited
240 sayfa · 2007
Real-time data processing / Programming languages (electronic computers)
Marcel Vinícius Medeiros Oliveira, Jim Woodcock · Springer London, Limited
Sayfa sayısı yok · 2009
Kategori yok
Shengchao Qin, Jim Woodcock, Wenhui Zhang · Springer International Publishing AG
Sayfa sayısı yok · 2021
Kategori yok
Zhiming Liu, Jim Woodcock, Huibiao Zhu · Springer London, Limited
Sayfa sayısı yok · 2013
Kategori yok
Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock · Springer International Publishing AG
Sayfa sayısı yok · 2021
Kategori yok
england International Symposium of Formal Methods Europe 1996 Oxford, M. C. Gaudel, Jim Woodcock · Springer-Verlag
Sayfa sayısı yok · 1996
Programming - Software Development / Software Development / Computers / Computer software / Congresses