Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
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 €
phone Kontakt phoneWie einkaufen

Software Engineering and Formal Methods

12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Software Engineering and Formal Methods Dimitra Giannakopoulou
Libristo-Code: 05147842
Verlag Springer International Publishing AG, Juli 2014
This book constitutes the refereed proceedings of the 12th International Conference on Software Engi... Vollständige Beschreibung
? points 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

Percepción de la calidad del servicio universitario: una aproximación Evelyn Ruth Poitevin / Buch Broschur
common.buy 46.59 €
Spor Anatomisi N. simsek Cankur / Buch Broschur
common.buy 16.79 €
Anatomia Coniunctionis Magnae. Oder Beschreibung der grossen und wol mercklichen Zusammenkunfft beyder obersten Planeten Saturns und Jupiters, Welche Carl von Reifitz / Buch Broschur
common.buy 30.89 €
Modelo Terapéutico de Nutrición Funcional en la Obesidad Edwin Enrique Martínez Leo / Buch Broschur
common.buy 43.79 €
Dykare / Buch Hardcover
common.buy 31.19 €
Le Talmud de Jerusalem, Volumes 4-5... Moise Schwab / Buch Broschur
common.buy 33.69 €
Totalement jumelles - numéro 9 Devine qui vient danser ? Ashley Olsen / Buch Broschur
common.buy 8.29 €
Pokémon go: la parola pi? cliccata nel web. Anarchia e gioco Riccardo Fenizia / Buch Broschur
common.buy 6.99 €
Die schrillen Vier auf Achse / Hilfe, die Amis kommen, 2 Blu-rays Pembroke J. Herring / Video Blu-ray
common.buy 18.99 €
Wildpflanzen in der Ernährung der Grundbevölkerung Melanesiens Barbara Treide / Buch Hardcover
common.buy 139.95 €

This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.§The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Software Engineering and Formal Methods
Autor Dimitra Giannakopoulou, Gwen Salaün
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2014
Anzahl der Seiten 394
EAN 9783319104300
ISBN 3319104306
Libristo-Code 05147842
Verlag Springer International Publishing AG
Gewicht 6263
Abmessungen 155 x 235 x 235

Kategorie

EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware
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

Das könnte Sie auch interessieren

Dynamical Oceanography Henk A. Dijkstra / Buch Broschur
common.buy 52.69 €
Top
Inside Florence Alessandro Moggi / Buch Hardcover
common.buy 55.09 €
CHASM MCEWAN STACEY / Buch Broschur
common.buy 15.79 €
Christopher's Blade Scare Street / Buch Broschur
common.buy 15.39 €
Landscape Don McCullin / Buch Hardcover
common.buy 57.89 €
I Want To Sleep: Why we struggle to sleep - How we can remedy it. MR Marios Savva / Buch Broschur
common.buy 6.99 €
Positive Psychology in Sport and Physical Activity Abbe Brady / Buch Hardcover
common.buy 224.29 €
Handbook of Chinese Cultural Terms Dr Frances Weightman Weightman / Buch Broschur
common.buy 17.29 €
Quantitative Logic And Soft Computing - Proceedings Of The Ql&sc 2012 Yongming Li / Buch Hardcover
common.buy 282.19 €
Demnächst
US Marine Corps Handbook 1941-45 George Forty / Buch Hardcover
common.buy 27.89 €
Demnächst
Pop Revolution Alex Goldfarb Marquis / Buch Broschur
common.buy 16.89 €
Martyrdom and Literature in Early Modern England Susannah Brietz Monta / Buch Hardcover
common.buy 124.59 €
Metronomic Chemotherapy, 1 Guido Bocci / Buch Hardcover
common.buy 119.39 €
River Channel Restoration - Guiding Principles for Sustainable Projects Andrew Brookes / Buch Hardcover
common.buy 352.39 €
Demnächst
X-Men: The Hidden Years Jim Shooter / Buch Broschur
common.buy 6.99 €
Demnächst
Peace and Conflict 2008 J. Joseph Hewitt / Buch Broschur
common.buy 46.69 €
John Stainer Jeremy Dibble / Buch Hardcover
common.buy 182.09 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto