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: 01660430
Price: 60.49 EUR
Availability: InStock
Author: Rajeev Joshi
ISBN: 9783642277047

4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings

Rajeev Joshi

Peter Müller

Andreas Podelski

Sprache

Englisch

Buch Broschur

Libristo-Code: 01660430

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Jänner 2012

This volume contains the proceedings of the 4th International Conference on Verified Software: Theor... Vollständige Beschreibung

Libristo-Code: 01660430

148 b

60.49 € inkl. MwSt.

Externes Lager Wir versenden in 9-15 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Puzzle Podzim v Turecku

Puzzle

9.89 €

Hundeschwätzchen Christine Bienert

Broschur

11.95 €

Warrior Cats, Gefährliche Spuren Erin Hunter

Broschur

12.00 €

Die Cum-Ex-Files Oliver Schröm

Broschur

18.00 €

Histoire et traditions des peuples Ngowe du Gabon Sergys-Dereck-Romaric Ndong-Ondo

Broschur

37.29 €

Das Konzept des Sozialkapitals Sandra Seubert

Broschur

36.99 €

Unter Eis Falk Richter

Broschur

19.99 €

A Psicologia dos vínculos que nos afetam Gelci Nogueira

Broschur

51.19 €

El Libro del Vermut: Un Barman Y Un Enólogo Celebran El Aperitivo Más Bebido del Mundo Shaun Byrne

Hardcover

17.89 €

Marceline Desbordes-Valmore Stefan Zweig

Hardcover

24.90 €

Wilde Westen Barbara Zhanial

Broschur

83.09 €

Go cửa thiền NGUY N MINH

Broschur

18.09 €

Guardians of the Galaxy. Vol.2, 1 Blu-ray Fred Raskin

Blu-ray

13.29 €

Sonnenuntergang bei De Koog (Puzzle) Elke Krone

Spiel

46.89 €

Les Cosaques: Drame En 5 Actes Et 9 Tableaux ARNAULT-A-F

Broschur

17.09 €

This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in January 2012.§The 20 revised full papers presented together with 2 invited talks and 2 tutorials were carefully revised and selected from 54 initial§submissions for inclusion in the book. The goal of the VSTTE conference is to advance the state of the art through the interaction of theory development, tool evolution, and experimental validation. The papers address topics such as: specification and verification techniques, tool support for specification languages, tool for various design§methodologies, tool integration and plug-ins, automation in formal§verification, tool comparisons and benchmark repositories, combination of tools and techniques, customizing tools for particular applications, challenge problems, refinement methodologies, requirements modeling, specification languages, specification/verification case-studies, software design methods, and program logic.

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 Rajeev Joshi, Peter Müller, Andreas Podelski

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2012

Anzahl der Seiten 326

EAN 9783642277047

ISBN 3642277047

Libristo-Code 01660430

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

Gewicht 516

Abmessungen 155 x 235 x 22

Kategorie

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

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

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

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

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

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