Enlarge

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

Publication Data

Title 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
Contributors Alexandre Petrenko, Andreas Ulrich
Publisher Springer-Verlag
Publication date 2004
Publication location New York
Language English

Descriptive Notes

In affiliation with the IEEE/ACM Conference on Automated Software Engineering, ASE 2003--Pref.

Topics

Formal methods (Computer science) :: Congresses
Computer software :: Testing :: Congresses

Catalogue Data

OBNB ID GBA419454
ISBN 10 3540208941
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.131

ISBD

P1053 viii, 266 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

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. ISBN 3540208941. Published by Springer-Verlag in 2004. Publication and catalogue information, links to buy online and reader comments.