phone 571 999 090
LIBRISTO 0
Free delivery for purchases over 1 299 Kč
PPL Parcel Shop 54 Kč Czech Post 74 Kč Balíkovna 49 Kč GLS point 54 Kč GLS courier 64 Kč Zásilkovna 44 Kč PPL courier 99 Kč
phone Contact phoneHow to shop

Formal Approaches to Software Testing

Language EnglishEnglish
Book Paperback
Book Formal Approaches to Software Testing Wolfgang Grieskamp
Libristo code: 01562128
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, May 2006
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on... Full description
? points 147 b
1 472 Kč
Low in stock at our supplier Shipping in 10-14 days

30-day return policy

You might also be interested in

TOP
How to Rap 2 Paul Edwards / Paperback
common.buy 275 Kč
Electrocaloric Materials Tatiana Correia / Hardback
common.buy 2 902 Kč
Industrietourismus in Deutschland Anja Schramm / Paperback
common.buy 2 222 Kč
Exposed Shannon M. Deitz / Paperback
common.buy 308 Kč

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, held in Edinburgh, UK, in July 2005 in conjunction with CAV 2005. The book presents 13 revised full papers together with 1 work-in-progress paper. These address formal approaches to testing and use techniques from areas like theorem proving, model checking, constraint resolution, program analysis, abstract interpretation, Markov chains, and various others.

About the book

Full name Formal Approaches to Software Testing
Author Wolfgang Grieskamp, Carsten Weise
Language English
Binding Book - Paperback
Date of issue 2006
Number of pages 219
EAN 9783540344544
ISBN 3540344543
Libristo code 01562128
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 750
Dimensions 155 x 235 x 13

Categories

Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
Computing & Information Technology > Computer hardware > Maintenance & repairs
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account