Language: English

圖資館首頁

Login

Languages

English (2)

Covers

Jump To : Overview | Titles | Subjects

Prevosto, Virgile.

Overview

Works:	1 works in 2 publications in 1 languages

Titles

Tests and proofs17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023 : proceedings / by: (1998 :); Prevosto, Virgile.; Seceleanu, Cristina.; SpringerLink (Online service) (Electronic resources)

Guide to software verification with Frama-Ccore components, usages, and applications / by: Kosmatov, Nikolai.; Prevosto, Virgile.; Signoles, Julien.; SpringerLink (Online service) (Electronic resources)

Subjects

Software engineering Informal Logic. Programming Language. Computer software Software Testing. Coding and Information Theory. Computational Mathematics and Numerical Analysis. Models of Computation.

Change password

Login