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

Integrated Formal Methods

Name: Integrated Formal Methods
Brand: Springer International Publishing AG
SKU: 05147795
Price: 53.79 EUR
Availability: InStock
Author: Elvira Albert
ISBN: 9783319101804

11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

Elvira Albert

Emil Sekerinski

Sprache

Englisch

Buch Broschur

Libristo-Code: 05147795

Verlag Springer International Publishing AG, August 2014

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

Libristo-Code: 05147795

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

Surrender to the Fantasy Magik Markers

Audio CD

22.79 €

A2 Key for schools Trainer 2

Broschur

45.99 €

Storm Child Fountain

Broschur

11.50 €

Гендер, культура и фукусимская катастрофа

Hardcover

24.59 €

Studio dell'altezza facciale inferiore Mustapha Amad Neto

Broschur

22.49 €

Boy's Abyss 11 Nana Umino

Broschur

8.00 €

Mia Moglie mi Tradisce Lara Steele

Hardcover

23.49 €

Recueil De Contes Populaires Grecs Anonymous

Hardcover

35.79 €

Perfektionismus im Schulkontext

Broschur

17.95 €

Die italienische Plastik Wilhelm Bode

Hardcover

119.95 €

Jetzt sag ich's Waltraut Haas

Adobe ePub DRM

20.59 €

Dopamin Rowena Kong

Broschur

39.90 €

POR TIERRAS DE SALAMANCA GRANDE DEL BRIO

Hardcover

30.29 €

Tajemství stříbrné klisny Julie Wald

Hardcover

9.69 €

Le Triomphe de la méthode Fauchere

Hardcover

13.19 €

Ange Pitou - Tome II: (Les Mémoires d'un médecin) Dumas Alexandre

Broschur

16.19 €

The Grey - Unter Wölfen, 1 Blu-ray Roger Barton

Blu-ray

13.89 €

Missa Sancti Amandi, Partitur Joseph Haydn

Noten

45.29 €

Historia de la Vida del Buscon Llamado Don Pablos: Ejemplo de Vagamundos Y Espejo de Taca Francisco de Quevedo

Broschur

13.49 €

This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The papers have been organized in the following topical sections: tool integration; model verification; program development; security analysis; analysis and transformation; and concurrency and control.

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 Elvira Albert, Emil Sekerinski

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2014

Anzahl der Seiten 390

EAN 9783319101804

ISBN 3319101803

Libristo-Code 05147795

Verlag Springer International Publishing AG

Gewicht 6088

Abmessungen 155 x 235 x 22

Kategorie

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

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