Formal Methods and Testing

Name: Formal Methods and Testing
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01570095
Price: 51.48 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.48 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Encyklopedie geologie Jan Petránek

Hardback

19.64 €

Reorganisation und Konzentration im Seeverkehr Alexander Wijgers

Paperback

16.11 €

Bedeutung von Symbolen fur die Politik Katharina Werner

Paperback

16.11 €

Mundakupunktur Jochen M. Gleditsch

Paperback

39.19 €

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

Hardback

194.66 €

Die Rose von Asturien Iny Lorentz

Paperback

13.49 €

Roboty z planety świtu Asimov Isaac

Hardback

16.92 €

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

Paperback

64.58 €

Bawię się i uczę ze smokiem Dżokiem W lesie Łanocha Katarzyna

Paperback

2.71 €

Frandskapens Lag Och Andra Noveller Och Dikter Johan Nordling

Paperback

21.15 €

El bilingüismo Rosario Rodríguez de Tembleque

Paperback

39.19 €

Ensayos sobre educación Michel de Montaigne

Paperback

20.04 €

Leczenie krwia Anna Klimczyk

Paperback

22.26 €

Geodesia Fisica Joan Josep Martinez-Benjamin

Paperback

21.45 €

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

Paperback

49.56 €

Klavier-Assoziationen Tatjana Davidoff

Sheet music

16.92 €

Die gegenwärtige Krise Europas Martin Kirschner

Paperback

38.98 €

Kurzfassung in Einfacher Sprache. Alles andere als normal Yvette Wagner

Paperback

0.70 €

Ты хоть представляешь се Ð—ÐÐ¯ÐÐ˜ Ð¡ÐµÐ¸Ñ„ÐµÐ´Ð´Ð¸Ð½ Ð—ÐÐ¯ÐÐ˜

Paperback

35.56 €

Posliednie Chasy Zhizni Imperatora Nikolaia Pervago Andre Savine Collection

Paperback

14.50 €

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

Paperback

13.90 €

Libro para colorear el sistema solar de los ninos Anastasiia Saikova

Paperback

12.79 €

Außenhandel - Kaufmann/Kauffrau für Groß- und Außenhandelsmanagement. Schülerband. 3. Ausbildungsjahr Marcel Kunze

Paperback

41.30 €

Cassette deb exercice 4 penner adrienne Book

Book

16.11 €

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.48 €

KI 2005: Advances in Artificial Intelligence Ulrich Furbach

Paperback

51.48 €

Meeting Notes: For project and task organization Sections include attendees, notes, and action items Ernest Sullivan

Paperback

7.65 €

Responsa Prudentum V2: Or Opinions of Pandits (1825) Thomas Strange

Paperback

39.99 €

Stop Being Afraid! 5 Steps to Transform your Conversations about Racism: Lean in and Plant a Seed Erika Fitz

Paperback

23.67 €

What Makes A Man Ur Friend? Kenneth Jones

Paperback

10.27 €

Understanding German Real Estate Markets TOBIAS JUST

Paperback

65.28 €

PET/CT in Thyroid Cancer Sobhan Vinjamuri

Paperback

65.28 €

Max the Apartment Cat Mauro Magellan

Paperback

19.03 €

Duchess Danielle Steel

Paperback

8.15 €

Introduction to Hydrogen Technology 2nd Edition K. S. V. Santhanam

Hardback

154.16 €

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.05 €