Code: 01565081

Formal Approaches to Software Testing and Runtime Verification

Name: Formal Approaches to Software Testing and Runtime Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01565081
Price: 51.06 EUR
Availability: InStock
Author: Klaus Havelund
ISBN: 9783540496991

by Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff

Language: English
Binding: Paperback
Number of pages: 255
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006
More about this

51.06 €

RRP: 55.36 €

You save 4.30 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Conversations with Seth, Book 1
15.71 € -22 %
Buy
Game Production Handbook
120.56 €
Buy
Soudruhu, nezlob se! - Společenská hra
14.71 € -16 %
Buy
Ten Days That Shook the World
11.41 € -26 %
Buy
ŠVÉDSKO SCHWEDEN SÜDWEST 1:250 000
11.61 € -4 %
Buy
The Stepdaughter
13.31 € -24 %
Buy
Routledge Handbook of Modern Korean History
66.18 €
Buy
La Mirinda Sorchisto de Oz (Romantraduko Al Esperanto)
24.43 € -2 %
Buy
This Is Why You Dream: What Your Sleeping Brain Reveals about Your Waking Life
20.82 € -24 %
Buy
Teaching Late Twentieth-Century Mexicana and Chicana Writers
46.86 €
Buy
Punkty przecięcia
10.50 € -14 %
Buy
History of the Decline and Fall of the Roman Empire, Vol. V
25.33 € -2 %
Buy
Gender in Ottoman Constantinople
33.34 € -2 %
Buy
Tea Party
19.32 € -9 %
Buy
How Do Animals Give Us Food?
8.30 € -25 %
Buy
Impact of Emerging Technologies on Computer Science and Operations Research
234.12 € -7 %
Buy
Elementary Spanish
122.77 € -4 %
Pre-order
LENGUA CASTELLANA Y LITERATURA, 1 ESO. CUADERNO DE LEXICO
7.60 €
Buy
The United States Marines
52.16 € -25 %
Buy
Important Moments in Oregon Football History
9.70 € -6 %
Buy
La Orden de Santiago en Guadalajara : la encomienda de Mohernando y el condado de Humanes
24.52 €
Buy
Battle for the White House from Bush to Obama
55.47 €
Buy
Study of Thomas Hardy and Other Essays
62.28 €
Buy
futuro raccontato dalle piante. Cosa possiamo imparare dal regno vegetale e dal suo percorso sul pianeta
20.02 €
Buy
Supporting Children from Birth to Three Bundle
56.07 €
Buy
History and Heritage of St James's Hospital, Dublin
65.08 €
Buy
Everett Railroad: History Through the Miles
9.90 € -24 %
Buy
The Whale Whisperers: : The Shaman's Curse
7.30 € -6 %
Buy
White Fang
22.22 €
Buy
Off the Bus!
89.82 €
Buy
Postcolonial Cultures
35.54 € -14 %
Buy
The Cuban Affair
15.01 € -9 %
Buy
INTERROS DES LYCEES MATHS 2DE
16.81 €
Buy
ber Eine Ballonsonde F r Polarlichtmessungen Und ber Den Vergleich Von Polarlichtemissionen, R ntgenstrahlen Und Ionosph rischen Absorptionen
52.57 € -4 %
Buy
Feminism and the Power of Law
86.81 €
Buy
Documents Relating to the Colonial History of the State of New Jersey, [1631-1776] Volume 19
31.54 € -2 %
Buy
Middle Class Philanthropist: How Anyone Can Leave a Legacy
6.60 € -23 %
Buy
Persuasion
16.91 €
Buy
The Rage
12.61 € -25 %
Buy
StaatsRache - Justizkritische Beitrage gegen die Dummheit im deutschen Recht(ssystem)
26.63 € -11 %
Buy
Oxford Mathematics for the Caribbean 6th edition: 11-14: Workbook 2
13.61 €
Buy
Knowledge and Practice in English Medicine, 1550-1680
133.38 €
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Formal Approaches to Software Testing and Runtime Verification

Book details
Synopsis
Trending among others

You get 125 loyalty points

Book synopsis

This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006. Coverage discusses formal approaches to test and analyze programs and monitor and guide their executions by using various techniques.

Book details

Book category Knihy po anglicky Computing & information technology Computer programming / software development Software Engineering

51.06 €

Full title: Formal Approaches to Software Testing and Runtime Verification
Subtitle: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
Author: Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff
Language: English
Binding: Paperback
Number of pages: 255
EAN: 9783540496991
ISBN: 3540496998
ID: 01565081
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 421 g
Dimensions: 235 × 155 × 15 mm
Date of publishing: 07. December 2006