An edition of Formal approaches to software testing (2006)

Formal Approaches to Software Testing

5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers (Lecture Notes in Computer Science)

1 edition

by

  • 1 Want to read
Cover of: Formal Approaches to Software Testing by Carsten Weise
Preview
Borrow Listen

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 1 Want to read
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
August 16, 2024 | History
Edit
An edition of Formal approaches to software testing (2006)

Formal Approaches to Software Testing

5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers (Lecture Notes in Computer Science)

1 edition

by

  • 1 Want to read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Language
English
Pages
219

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Formal methods (Computer science), Testing, Congresses, Computer software, Informatique, Programming Languages, Essais, COMPUTERS, General, Methodes formelles (Informatique), Model Checking, Logiciels, Congres, Testen, Software, Computer software, testing
Edition Availability
Cover of: Formal Approaches to Software Testing
Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers (Lecture Notes in Computer Science)
July 11, 2006, Springer
Paperback in English - 1 edition
Cover of: Formal Approaches to Software Testing
Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
2006, Springer London, Limited
in English

Add another edition?

Book Details

Classifications

Library of Congress
QA76.9.F67 F522 2005, QA75.5-76.95, QA76.9.F67 F52 2005

The Physical Object

Format
Paperback
Number of pages
219
Dimensions
9 x 6.1 x 0.6 inches
Weight
12 ounces

ID Numbers

Open Library
OL9689388M
Internet Archive
formalapproaches0000fate
ISBN 10
3540344543
ISBN 13
9783540344544
LCCN
2006926507
OCLC/WorldCat
70119308, 69983519

Source records

amazon.com record
Library of Congress MARC record
Internet Archive item record
Internet Archive item record
Library of Congress MARC record
Better World Books record
marc_columbia MARC record
marc_nuls MARC record
harvard_bibliographic_metadata record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
August 16, 2024 Edited by MARC Bot import existing book
March 7, 2023 Edited by MARC Bot import existing book
December 29, 2022 Edited by MARC Bot import existing book
October 4, 2021 Edited by ImportBot import existing book
April 30, 2008 Created by an anonymous user Imported from amazon.com record