Check order status

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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

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: 53.79 EUR
Availability: InStock
Author: Klaus Havelund
ISBN: 9783540496991

First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Language

English

Book Paperback

Libristo code: 01565081

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, December 2006

This book constitutes the thoroughly refereed post-proceedings of the First Combined International W... Full description

Libristo code: 01565081

132 b

53.79 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

ber Eine Ballonsonde F r Polarlichtmessungen Und ber Den Vergleich Von Polarlichtemissionen, R ntgenstrahlen Und Ionosph rischen Absorptionen K. Richter

Paperback

55.29 €

Punkty przecięcia Paulina Cedlerska

Paperback

9.59 €

Tiotusen meter - erotisk novell Hermansson

MP3

3.29 €

La Orden de Santiago en Guadalajara : la encomienda de Mohernando y el condado de Humanes Miguel Marchamalo Main

Paperback

25.69 €

futuro raccontato dalle piante. Cosa possiamo imparare dal regno vegetale e dal suo percorso sul pianeta Barbara Mazzolai

Hardback

21.29 €

LENGUA CASTELLANA Y LITERATURA, 1 ESO. CUADERNO DE LEXICO EQUIP EDITORIAL CRUILLA

Book

8.09 €

INTERROS DES LYCEES MATHS 2DE Erik de Brauwere

Paperback

18.79 €

Soudruhu, nezlob se! - Společenská hra Ivan Mládek

Game

14.89 €

Tea Party Lorenzo F. Díaz

Paperback

20.39 €

StaatsRache - Justizkritische Beitrage gegen die Dummheit im deutschen Recht(ssystem) Richard Albrecht

Paperback

29.99 €

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.