عنوان

Tests and Proofs

:9783642304729

30586

انگلیسی

Tests and Proofs

[electronic resources]

: 6th International Conference, TAP 2012 Prague, Czech Republic, May 31 – June 1, 2012: Proceedings

Achim D. Brucker, Jacques Julliand, (Eds.)

, New York

: Springer

, 2012

x, 175p.

:ill

Lecture Notes in Computer Science

; 7305

Computer software -- Testing -- Congresses

Computer software -- Verification -- Congresses

Formal methods (Computer science) -- Congresses

نرم‌افزار -- آزمایش -- کنگره‌ها

نر‌م‌افزار -- راستی‌آزمایی -- کنگره‌ها

روش‌های صوری (کامپیوتر) -- کنگره‌ها

E-Book

Brucker, Achim D.

Julliand, Jacques

TAP 2012 (2012 : Prague, Czech Republic)

ایران

20190503

9783642304729.pdf

279177