Language: English

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Veanes, Margus.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Tests and proofs = 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013 : proceedings / by: Veanes, Margus.; SpringerLink (Online service); Vigano, Luca. (Language materials, printed)

Subjects

Computer Science. Computer software Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Programming Languages, Compilers, Interpreters. Programming Techniques. Simulation and Modeling. Software engineering Software Engineering.

Change password

Login