Keijiro Araki

Keijiro Araki · Springer

Sayfa sayısı yok · 2003

Programmanalyse / Programmverifikation / Formale Methode / Softwareentwicklung / Model Checking

Keijiro Araki · Springer London

477 sayfa · 1999

Kategori yok

Keijiro Araki, T. Yuasa · Springer-Verlag

323 sayfa · 1986

Computer programming / Congresses / Computer architecture / Computer software

Keijiro Araki, Stefania Gnesi · Springer

942 sayfa · 2003

Computer software / Congresses / Development / Formal methods (Computer science) / System design

Eiichi Goto, Keijiro Araki, Taiichi Yuasa · Springer

334 sayfa · 1986

Kategori yok

Zhiming Liu, Keijiro Araki · Springer London, Limited

Sayfa sayısı yok · 2005

Kategori yok