Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

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

Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Integrated Formal Methods

Name: Integrated Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01663776
Price: 53.79 EUR
Availability: InStock
Author: Einar Broch Johnsen
ISBN: 9783642386121

10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

Einar Broch Johnsen

Luigia Petre

Sprache

Englisch

Buch Broschur

Libristo-Code: 01663776

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Mai 2013

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Fo... Vollständige Beschreibung

Libristo-Code: 01663776

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Manuel de communication non verbale appliquée - Le modèle de recours à la force évolué et les indices de menace Rossin-Arthiat

Broschur

43.79 €

Crimson Spell. Bd.5 Ayano Yamane

Broschur

9.59 €

Kunst Des 18. Jahrhunderts Edmond de Goncourt

Broschur

45.59 €

Dançando tango em Istambul Melis Merih Kiliç

Broschur

46.59 €

EINE KLEINE NACHTMUSIK KV 525 WOLFGANG AMADEUS MOZ Buch

binding.

11.89 €

Éléments de culture générale - 100 'colles' et sujets pour les prépas et les oraux des concours Dumont

Broschur

31.99 €

Meine täglichen Übungen in Mathematik - 10. Schuljahr. H.3 Karlheinz Lehmann

Blatt

11.19 €

Totenbuch DES Mainzer Dominikanerklosters Isnard W. Frank

Hardcover

113.69 €

Recht und Energie Peter Rosin

Hardcover

223.19 €

Rivalen unter roter Sonne, 1 Blu-ray Terence Young

Blu-ray

14.29 €

La biblia del ayurveda : guía definitiva de la sanación ayurvédica Anne McIntyre

Broschur

21.99 €

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. §The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.

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 Integrated Formal Methods

Autor Einar Broch Johnsen, Luigia Petre

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2013

Anzahl der Seiten 443

EAN 9783642386121

ISBN 3642386121

Libristo-Code 01663776

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

Gewicht 700

Abmessungen 155 x 235 x 26

Kategorie

EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker

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 > Rechnerarchitektur und Logik-Entwurf

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