Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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: 19818 HUF
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

136 b

19 818 Ft

In stock at our supplier Shipping in 5-8 days

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

20 361 Ft

Punkty przecięcia Paulina Cedlerska

Paperback

3 548 Ft

Tiotusen meter - erotisk novell Hermansson

MP3

1 123 Ft

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

Paperback

8 786 Ft

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

Hardback

7 253 Ft

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

Book

2 729 Ft

INTERROS DES LYCEES MATHS 2DE Erik de Brauwere

Paperback

6 452 Ft

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

Game

5 518 Ft

Tea Party Lorenzo F. Díaz

Paperback

7 516 Ft

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

Paperback

10 378 Ft

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.