Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Formal Approaches to Software Testing

5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

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 125 b
51.75 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

First Christmas Children's Book (Portuguese) Nate Books / Book Paperback
common.buy 10.83 €
Journal de marche d'une escadrille... CERO 301-1955 SHAA / Book Hardback
common.buy 13.66 €
Resume de l'Anthropologie de la Tunisie Bertholon-L / Book Paperback
common.buy 13.66 €
Pimpa - Pimpa y su gemela Pimpa Altan / E-book Adobe ePub DRM
common.buy 5.97 €
Pastorální teologie včera, dnes a zítra Aleš Opatrný / Book Paperback
common.buy 8.90 €
Praca dyplomowa i doktorska Gambarelli Gianfranco / Book Paperback
common.buy 14.47 €
Love Monster. Potworek szuka miłości Bright Rachel / Book Hardback
common.buy 9.00 €
Brasilien Stefan Zweig / Book Hardback
common.buy 20.85 €
ricordo che non avevo Alberto Melis / Book Paperback
common.buy 20.55 €
Frankreichs »doppelte Deutschlandpolitik«. Dietmar Hüser / Book Paperback
common.buy 94.18 €
Mudança de vida facial com Yoga Facial e dicas para o seu bem estar: MASC - Método Alessandra Scavone Alessandra Scavone / Book Paperback
common.buy 31.69 €
First Impressions A guide to drawing materials / Video DVD
common.buy 4.75 €
Journal d'un chat assassin (nouvelle édition) Fine / Book Hardback
common.buy 11.43 €
Los cruzados de la causa Ramon Maria Del Valle-Inclan / Book Paperback
common.buy 11.23 €
Industrietourismus in Deutschland Anja Schramm / Book Paperback
common.buy 66.03 €
Internationale Umweltregime Und Technische Innovation Benjamin Miethling / Book Paperback
common.buy 74.43 €
O Hino das Encenias da Basilica da Santa Sabedoria em Constantinopla Rafael Domingos de Souza / Book Paperback
common.buy 49.92 €
De la maceta a la mesa McTernan / Book Paperback
common.buy 21.26 €
Analyse de Contrefacons de Medicaments Et Renseignement Forensique Degardin-K / Book Paperback
common.buy 101.48 €
Learn Spanish with Paul Noble: Part 4 Course Review: Spanish made easy with your personal language coach Paul Noble / Audiobook MP3
common.buy 3.03 €
Alter und Geschlecht im Kontext lebenslangen Lernens Alexander Zwickies / Book Paperback
common.buy 50.02 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

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

You might also be interested in

Hybrid Systems: Computation and Control Rupak Majumdar / Book Paperback
common.buy 51.75 €
Electrocaloric Materials Tatiana Correia / Book Hardback
common.buy 103.10 €
Black Hawk: The Battle for the Heart of America Kerry A. Trask / Book Paperback
common.buy 21.66 €
Neuronal Cytoskeleton, Motor Proteins, and Organelle Trafficking in the Axon K. Kevin Pfister / Book Hardback
common.buy 189.59 €
Housing, Fuel Poverty and Health HEALY / Book Paperback
common.buy 72.00 €
Language Hub Intermediate Workbook with Key + Access to Audio Dan Brayshaw / Book Paperback
common.buy 15.18 €
Exposed Shannon M. Deitz / Book Paperback
common.buy 12.14 €
Pearson REVISE AQA GCSE (9-1) Biology Foundation Revision Guide Pauline Lowrie / Book Paperback
common.buy 10.73 €
Teaching Little Fingers to Play Ensemble: Optional Accompaniments for the Tlf Method John Thompson / Book Paperback
common.buy 9.41 €
Arthur and Friends Mikael Lindnord / Book Paperback
common.buy 15.49 €
Sophia Christina B O'Doherty / Book Paperback
common.buy 25.61 €
Achieving Buzzword Compliance DAVID C HAY / Book Paperback
common.buy 48.91 €
Michelin Sri Lanka Road & Tourist Map 803 / Printed items Map
common.buy 12.55 €
Britain and Germany in the 20th Century Manfred Gortemaker / Book Paperback
common.buy 208.63 €
Gradations in Euclid Henry Green / Book Paperback
common.buy 33.92 €
The Art of Needle-Work, from the Earliest Ages [by E. Stone] Ed. by the Countess of Wilton Elizabeth Stone / Book Paperback
common.buy 26.02 €
A Short And Easy Modern Greek Grammar: With Grammatical And Conversational Exercises, Idiomatic, Proverbial Phrases, And Full Vocabulary (1892) Carl Wied / Book Paperback
common.buy 24.10 €
Stay: Sacred Suffering: Fighting the Good Fight For Your Marriage Lydia Miller / Book Paperback
common.buy 8.40 €
Bioremediation and Green Technologies Thamaraiselvi Kaliannan / Book Hardback
common.buy 154.55 €
Owl Coloring Book For Kids: Cute Owl Designs to Color for Boys (Awesome gifts) Srmndm Publications / Book Paperback
common.buy 8.70 €
Obsessions of Lord Godfrey Cavanaugh Stephanie Laurens / Audiobook MP3
common.buy 20.04 €
Top
I Am Not Jessica Chen Ann Liang / Book Paperback
common.buy 8.19 €
Vulnerable Subjects G.Thomas Couser / Book Paperback
common.buy 50.23 €
Selected Works of George E. Andrews George E Andrews / Book Hardback
common.buy 405.12 €

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?