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

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

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: 107.29 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

263 b

107.29 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Vom Wesen der Illusion Michael Ackermann

Broschur

9.49 €

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

Broschur

15.39 €

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

Broschur

29.49 €

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

Blu-ray

52.89 €

Baby to Go, 1 Blu-ray Sophie Barthes

Blu-ray

22.69 €

Vom Lernen und Lehren Samson Raphael Hirsch

Broschur

29.90 €

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

Broschur

36.89 €

Sistemas de aeronaves de turbina II FELIPE GATO GUTIERREZ

Broschur

47.79 €

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

Broschur

12.09 €

Lehrbuch der Personalpsychologie einz Schuler

Hardcover

99.95 €

Der Gärtner Rabindranath Tagore

Hardcover

11.90 €

Der Realitätenkellner Werner A. Leeb

Broschur

39.00 €

Hellsehen Charles W. Leadbeater

Buch

13.89 €

Aus Der Chronik Eines Geistlichen Herrn Emil Wilhelm Frommel

Hardcover

29.90 €

Klassische Reitkunst mit Anja Beran Anja Beran

Hardcover

59.90 €

Selbsterkenntnis und Gotteserkenntnis. Bd.1 Rudolf Steiner

Hardcover

70.99 €

Politik in den Massenmedien Udo Michel

Broschur

17.95 €

Das Käthchen von Heilbronn Heinrich von Kleist

Broschur

8.49 €

Rund um ... - Sekundarstufe I Ute Fenske

Broschur

29.29 €

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

Hardcover

50.89 €

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