Formal approaches to software testing and runtime verification : first combined international workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006 ; revised selected papers /

Formal approaches to software testing and runtime verification : first combined international workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006 ; revised selected papers /

Saved in:

Bibliographic Details
Imprint:	Berlin : Springer, 2006.
Description:	viii, 253 p. : ill. ; 24 cm.
Language:	English
Series:	Lecture notes in computer science ; 4262
Subject:	Formal methods (Computer science) -- Congresses. Computer software -- Testing -- Congresses. Computer software -- Testing. Formal methods (Computer science) Conference papers and proceedings.
Format:	Print Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/6205554

Hidden Bibliographic Details
Other authors / contributors:	Havelund, Klaus, 1955- FATES 2006 (2006 : Seattle, WA) RV 2006 (2006 : Seattle, WA)
ISBN:	9783540496991 (pbk.) 3540496998 (pbk.)
Notes:	International conference proceedings. Includes bibliographical references and index.
Standard no.:	9783540496991

Mansueto

Loading map link

Holdings details from Mansueto
Call Number:	QA76.9.F67F675 2006
c.1	Available Loan period: standard loan Request from Mansueto Scan and Deliver Need help? - Ask a Librarian