Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers /

Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers /

Bibliographic Details
Published in:Springer e-books
Main Author: Gurevich, Yuri
Corporate Author: SpringerLink (Online service)
Other Authors: Meyer, Bertrand
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
Series:Lecture Notes in Computer Science,
Subjects:
Computer Communication Networks
Computer Science
Computer system performance
Logic design
Software engineering
Computers and Society
Logics and Meanings of Programs
Software Engineering
System Performance and Evaluation
Online Access:http://dx.doi.org/10.1007/978-3-540-73770-4
Перейти в каталог НБ ТГУ
Description
ISBN:9783540737704
ISSN:0302-9743 ;

Similar Items