Formal Methods and Testing

Name: Formal Methods and Testing
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01570095
Price: 51.76 EUR
Availability: InStock
Author: Robert M. Hierons
ISBN: 9783540789161

An Outcome of the FORTEST Network. Revised Selected Papers

Robert M. Hierons

Jonathan P. Bowen

Mark Harman

Language

English

Book Paperback

Libristo code: 01570095

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, April 2008

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Te... Full description

Libristo code: 01570095

125 b

51.76 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Leczenie krwia Anna Klimczyk

Paperback

22.07 €

Psicología profunda y nueva ética : nueva valoración de la conducta humana a la luz de la psicología moderna Erich Neumann

Paperback

12.55 €

Die Rose von Asturien Iny Lorentz

Paperback

13.56 €

Roboty z planety świtu Asimov Isaac

Hardback

15.08 €

Unitary Developmental Theory and Psychological Development Across the Lifespan, Volume 1 Sweeney

Paperback

61.79 €

Judaeans by the Waters of Babylon: New Historical Evidence in Cuneiform Sources from Rural Babylonia Wunsch Book

Hardback

195.71 €

Mundakupunktur Jochen M. Gleditsch

Paperback

39.60 €

El bilingüismo Rosario Rodríguez de Tembleque

Paperback

35.75 €

Bedeutung von Symbolen fur die Politik Katharina Werner

Paperback

16.20 €

Reorganisation und Konzentration im Seeverkehr Alexander Wijgers

Paperback

16.20 €

Workflows Sharepoint(R) Designer 2013, Concepts Et Travaux Pratiques Claude COUDERC

Paperback

50.74 €

Revue Réseaux Volume 34-196/2016 : Lieux et création Revue Réseaux

Paperback

30.99 €

Essays Ralph Waldo Emerson

Paperback

26.84 €

Posliednie Chasy Zhizni Imperatora Nikolaia Pervago Andre Savine Collection

Paperback

14.58 €

Encyklopedie geologie Jan Petránek

Hardback

19.74 €

Geodesia Fisica Joan Josep Martinez-Benjamin

Paperback

21.57 €

Klavier-Assoziationen Tatjana Davidoff

Sheet music

17.01 €

Kurzfassung in Einfacher Sprache. Alles andere als normal Yvette Wagner

Paperback

2.52 €

Die gegenwärtige Krise Europas Martin Kirschner

Paperback

39.40 €

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network, established under UK EPSRC funding to investigate the relationships between formal (and semi-formal) methods and software testing.

Actress & Polyglot

EWA KASP for

Play video

Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Formal Methods and Testing

Author Robert M. Hierons, Jonathan P. Bowen, Mark Harman

Language

English

Binding Book - Paperback

Date of issue 2008

Number of pages 370

EAN 9783540789161

ISBN 3540789162

Libristo code 01570095

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

Weight 594

Dimensions 235 x 157 x 27

You might also be interested in

Adaptive Multimedia Retrieval: Retrieval, User, and Semantics Nozha Boujemaa

Paperback

51.76 €

KI 2005: Advances in Artificial Intelligence Ulrich Furbach

Paperback

51.76 €

The Hamm Rules on Relationships, Leadership, Community, and Love Leonard Hamm

Paperback

18.02 €

New Perspectives on the History of Life Sciences and Agriculture Sharon Kingsland

Paperback

175.14 €

Cosmos, Earth and Mankind Astronomy for Kids Vol I Astronomy & Space Science Baby Professor

Paperback

14.27 €

The practical Nature of the theological Writings of Emanuel Swedenborg Augustus Clissold

Paperback

31.29 €

Stepping Out of Line: Collected (Nonconformist) Essays on Russian-American Relations, 2008-12 Gilbert Doctorow

Paperback

21.97 €

High Performance Shake and Juice Recipes for Triathletes: Increase Muscle and Drop Excess Fat to Become Faster, Stronger, and Leaner Correa (Certified Sports Nutritionist)

Paperback

21.16 €