Formal Methods and Testing

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

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Die Rose von Asturien Iny Lorentz

Broschur

14.99 €

Mundakupunktur Jochen M. Gleditsch

Broschur

41.09 €

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

Broschur

63.69 €

Roboty z planety świtu Asimov Isaac

Hardcover

17.69 €

Bedeutung von Symbolen fur die Politik Katharina Werner

Broschur

17.95 €

Reorganisation und Konzentration im Seeverkehr Alexander Wijgers

Broschur

17.95 €

Encyklopedie geologie Jan Petránek

Hardcover

20.49 €

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

Broschur

32.09 €

Posliednie Chasy Zhizni Imperatora Nikolaia Pervago Andre Savine Collection

Broschur

15.09 €

Essays Ralph Waldo Emerson

Broschur

29.90 €

Kurzfassung in Einfacher Sprache. Alles andere als normal Yvette Wagner

Broschur

7.95 €

Die gegenwärtige Krise Europas Martin Kirschner

Broschur

40.79 €

Klavier-Assoziationen Tatjana Davidoff

Noten

19.95 €

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

Broschur

14.49 €

Leczenie krwia Anna Klimczyk

Broschur

21.59 €

Geodesia Fisica Joan Josep Martinez-Benjamin

Broschur

22.59 €

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