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
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

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.68 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

First Christmas Children's Book (Portuguese) Nate Books / Book Paperback
common.buy 10.81 €
Praca dyplomowa i doktorska Gambarelli Gianfranco / Book Paperback
common.buy 14.46 €
Frankreichs »doppelte Deutschlandpolitik«. Dietmar Hüser / Book Paperback
common.buy 94.07 €
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.65 €
Brasilien Stefan Zweig / Book Hardback
common.buy 20.83 €
ricordo che non avevo Alberto Melis / Book Paperback
common.buy 20.52 €
First Impressions A guide to drawing materials / Video DVD
common.buy 4.74 €
Love Monster. Potworek szuka miłości Bright Rachel / Book Hardback
common.buy 8.99 €
Burnout-Syndrom Kirsten Michels / Book Paperback
common.buy 14.46 €
Pastorální teologie včera, dnes a zítra Aleš Opatrný / Book Paperback
common.buy 8.89 €
Pimpa - Pimpa y su gemela Pimpa Altan / E-book Adobe ePub DRM
common.buy 5.96 €
Field Songs Mark Lanegan Audio Audio CD
common.buy 11.32 €
Resume de l'Anthropologie de la Tunisie Bertholon-L / Book Paperback
common.buy 13.65 €
Journal d'un chat assassin (nouvelle édition) Fine / Book Hardback
common.buy 11.42 €
Journal de marche d'une escadrille... CERO 301-1955 SHAA / Book Hardback
common.buy 13.75 €
Learn Spanish with Paul Noble: Part 4 Course Review: Spanish made easy with your personal language coach Paul Noble / Audiobook MP3
common.buy 3.02 €
Analyse de Contrefacons de Medicaments Et Renseignement Forensique Degardin-K / Book Paperback
common.buy 101.35 €
Industrietourismus in Deutschland Anja Schramm / Book Paperback
common.buy 65.94 €
O Hino das Encenias da Basilica da Santa Sabedoria em Constantinopla Rafael Domingos de Souza / Book Paperback
common.buy 49.86 €
Internationale Umweltregime Und Technische Innovation Benjamin Miethling / Book Paperback
common.buy 74.34 €
De la maceta a la mesa McTernan / Book Paperback
common.buy 21.23 €
Schlüssel zur Mathematik - Differenzierende Ausgabe Rheinland-Pfalz - 7. Schuljahr Reinhold Koullen / Book Paperback
common.buy 12.53 €
Alter und Geschlecht im Kontext lebenslangen Lernens Alexander Zwickies / Book Paperback
common.buy 49.96 €
Los cruzados de la causa Ramon Maria Del Valle-Inclan / Book Paperback
common.buy 11.22 €

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.68 €
Electrocaloric Materials Tatiana Correia / Book Hardback
common.buy 102.97 €
Black Hawk: The Battle for the Heart of America Kerry A. Trask / Book Paperback
common.buy 21.64 €
Neuronal Cytoskeleton, Motor Proteins, and Organelle Trafficking in the Axon K. Kevin Pfister / Book Hardback
common.buy 189.36 €
Housing, Fuel Poverty and Health HEALY / Book Paperback
common.buy 71.91 €
Collection of Treaties Between Great Britain and Other Powers, Volume 2 George Chalmers / Book Hardback
common.buy 40.15 €
Exposed Shannon M. Deitz / Book Paperback
common.buy 12.13 €
Pearson REVISE AQA GCSE (9-1) Biology Foundation Revision Guide Pauline Lowrie / Book Paperback
common.buy 10.71 €
Teaching Little Fingers to Play Ensemble: Optional Accompaniments for the Tlf Method John Thompson / Book Paperback
common.buy 9.40 €
Water Trading and Global Water Scarcity Josefina Maestu / Book Paperback
common.buy 75.25 €
River of Light and Shadow Allen Kent / Book Paperback
common.buy 10.00 €
Arthur and Friends Mikael Lindnord / Book Paperback
common.buy 15.47 €
Sophia Christina B O'Doherty / Book Paperback
common.buy 25.58 €
Achieving Buzzword Compliance DAVID C HAY / Book Paperback
common.buy 48.85 €
Michelin Sri Lanka Road & Tourist Map 803 / Printed items Map
common.buy 12.53 €
Selected Works of George E. Andrews George E Andrews / Book Hardback
common.buy 406.95 €
The Typology of Scripture Patrick Fairbairn / Book Paperback
common.buy 32.06 €
Language Hub Intermediate Workbook with Key + Access to Audio Dan Brayshaw / Book Paperback
common.buy 15.16 €
Gradations in Euclid Henry Green / Book Paperback
common.buy 33.88 €
The Art of Needle-Work, from the Earliest Ages [by E. Stone] Ed. by the Countess of Wilton Elizabeth Stone / Book Paperback
common.buy 25.99 €
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.07 €
Stay: Sacred Suffering: Fighting the Good Fight For Your Marriage Lydia Miller / Book Paperback
common.buy 8.39 €
Bioremediation and Green Technologies Thamaraiselvi Kaliannan / Book Hardback
common.buy 154.36 €
Owl Coloring Book For Kids: Cute Owl Designs to Color for Boys (Awesome gifts) Srmndm Publications / Book Paperback
common.buy 8.69 €

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?