Language: English

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Cha, Sungdeok (Steve)

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Automated technology for verification and analysis = 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings / by: Congress on Progress and Controversies in Oncological Urology (2000:); Cha, Sungdeok (Steve); SpringerLink (Online service) (Electronic resources)

Subjects

Software Engineering. Information Systems and Communication Service. Computer Science. Special Purpose and Application-Based Systems. Automatic theorem proving Computer Communication Networks. Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs.

Change password

Login