Formal Methods and Testing

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

Sprache

Englisch

Buch Broschur

Libristo-Code: 01570095

Verlag 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... Vollständige Beschreibung

Libristo-Code: 01570095

125 b

51.09 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Mundakupunktur Jochen M. Gleditsch

Broschur

37.00 €

Reorganisation und Konzentration im Seeverkehr Alexander Wijgers

Broschur

17.95 €

Bedeutung von Symbolen fur die Politik Katharina Werner

Broschur

17.95 €

Die Rose von Asturien Iny Lorentz

Broschur

14.99 €

Roboty z planety świtu Asimov Isaac

Hardcover

14.59 €

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

Broschur

2.29 €

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

Hardcover

190.19 €

Posliednie Chasy Zhizni Imperatora Nikolaia Pervago Andre Savine Collection

Broschur

13.70 €

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

Broschur

68.40 €

Kurzfassung in Einfacher Sprache. Alles andere als normal Yvette Wagner

Broschur

7.95 €

El bilingüismo Rosario Rodríguez de Tembleque

Broschur

35.29 €

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

Broschur

12.39 €

Ensayos sobre educación Michel de Montaigne

Broschur

17.99 €

Leczenie krwia Anna Klimczyk

Broschur

19.89 €

Geodesia Fisica Joan Josep Martinez-Benjamin

Broschur

20.09 €

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

Broschur

44.79 €

Klavier-Assoziationen Tatjana Davidoff

Noten

19.95 €

Die gegenwärtige Krise Europas Martin Kirschner

Broschur

36.79 €

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

Broschur

35.30 €

Frandskapens Lag Och Andra Noveller Och Dikter Johan Nordling

Broschur

20.00 €

Libro para colorear el sistema solar de los ninos Anastasiia Saikova

Broschur

11.89 €

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

Broschur

40.99 €

Cassette deb exercice 4 penner adrienne Buch

Buch

14.39 €

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

Broschur

26.89 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Formal Methods and Testing

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

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2008

Anzahl der Seiten 370

EAN 9783540789161

ISBN 3540789162

Libristo-Code 01570095

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

Gewicht 594

Abmessungen 235 x 157 x 27

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering > Softwaretests und Prüfsoftware

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Informationsarchitektur

EDV und Informationstechnologie > Computerhardware > Wartung und Reparaturen, IT

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Betriebssysteme

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert