Formal approaches to software testing: Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers

Collation :

266 P

Addition :

Title :

LC Class :

005

LC Number :

.131

LC CutterNumber :

F 252 F

تاريخ ورود اطلاعات :

1383/07/01

Publication Year :

2004

Publication :

Springer-Verlag

Series :

Lecture notes in computer science; 2931

Subject :

Formal methods (Computer science)- Congresses,Computer software- Testing- Congresses

Editor :

Edited by Alexandre Petrenko,Andreas Ulrich

DocumentNumber :

31169

ISBNN :

, 1 , 3441 , 3-1

Link To Document :

http://lib1.kashanu.ac.ir//dL/search/default.aspx?Term=9712&Field=0&DTC=2