Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Verified Software: Theories, Tools, Experiments

Name: Verified Software: Theories, Tools, Experiments
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01567838
Price: 101.79 EUR
Availability: InStock
Author: Bertrand Meyer
ISBN: 9783540691471

First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Bertrand Meyer

Jim Woodcock

Sprache

Englisch

Buch Broschur

Libristo-Code: 01567838

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

This state-of-the-art survey is an outcome of the first IFIP TC 2/WG 2.3 working conference on Verif... Vollständige Beschreibung

Libristo-Code: 01567838

249 b

101.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Politik in den Massenmedien Udo Michel

Broschur

17.95 €

Honey Lemon Soda T13

Broschur

8.79 €

Vom Wesen der Illusion Michael Ackermann

Broschur

9.49 €

tempo dei padri. L'istinto maschile nella cura dei figli Sarah Blaffer Hrdy

Broschur

27.99 €

Vom Lernen und Lehren Samson Raphael Hirsch

Broschur

29.90 €

Lehrbuch der Personalpsychologie einz Schuler

Hardcover

99.95 €

Baby to Go, 1 Blu-ray Sophie Barthes

Blu-ray

18.99 €

Natur und Technik - Biologie (Ausgabe 2011) - Gesamtschule/Sekundarschule Nordrhein-Westfalen - Differenzierende Ausgabe - Band 2 Monika Bartels-Eder

Hardcover

41.99 €

Them's Fightin' Herds, 1 PS4-Blu-ray Disc

Blu-ray

44.49 €

Exactitudes Noailles

Broschur

20.49 €

Rund um ... - Sekundarstufe I Ute Fenske

Broschur

27.89 €

Das Käthchen von Heilbronn Heinrich von Kleist

Broschur

6.99 €

BABADADA, Tiếng Việt - Suomi, từ điển tranh minh họa - kuvasanakirja Babadada Gmbh

Broschur

23.69 €

Der Gärtner Rabindranath Tagore

Hardcover

11.90 €

Selbsterkenntnis und Gotteserkenntnis. Bd.1 Rudolf Steiner

Hardcover

68.00 €

Klassische Reitkunst mit Anja Beran Anja Beran

Hardcover

59.90 €

Space Rat 1: Intergalaktisch (Legendary Edition) Mathias Tikwa Neumann

Broschur

15.39 €

Aus Der Chronik Eines Geistlichen Herrn Emil Wilhelm Frommel

Hardcover

29.90 €

Hellsehen Charles W. Leadbeater

Buch

12.95 €

Sistemas de aeronaves de turbina II FELIPE GATO GUTIERREZ

Broschur

41.59 €

Gr'ce Ancienne. L'Espace Et Le Temps(la) T2 Jean-Pierre Vernant

Broschur

9.39 €

Der Realitätenkellner Werner A. Leeb

Broschur

39.00 €

This state-of-the-art survey is an outcome of the first IFIP TC 2/WG 2.3 working conference on Verified Software: Theories, Tools, Experiments, VSTTE 2005, held in Zurich, Switzerland, in October 2005. This was a historic event gathering many top international experts on systematic methods for specifying, building and verifying high-quality software.§The book includes 32 revised full papers and 27 revised position papers, preceded by a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying compiler". Most contributions are followed by a transcription of the vivid discussion that ensued between the author and the audience. The papers have been organized in topical sections on verification tools, guaranteeing correctness, software engineering aspects, verifying object-oriented programming, programming language and methodology aspects, components, static analysis, design, analysis and tools, as well as formal techniques.

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 Verified Software: Theories, Tools, Experiments

Autor Bertrand Meyer, Jim Woodcock

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2008

Anzahl der Seiten 546

EAN 9783540691471

ISBN 3540691472

Libristo-Code 01567838

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

Gewicht 866

Abmessungen 155 x 235 x 33

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

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

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 > Informatik > Künstliche Intelligenz

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