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
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.

Software Engineering and Formal Methods

11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Software Engineering and Formal Methods Robert Hierons
Libristo-Code: 02016931
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2013
This book constitutes the refereed proceedings of the11th International Conference on Software Engin... 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

Mercedes G-Modell / Buch Buch
common.buy 44.90 €
COUNTRY DANCES JOHN PLAYFORD / Drucksachen Noten
common.buy 14.19 €
El ser de una mujer hechicera y su cotidianidad Carlos Restrepo / Buch Broschur
common.buy 56.79 €
Oooh, wie ist das schön! Germán Aczel / Buch Hardcover
common.buy 24.99 €
Oldenburg Iris Dahlke / Buch Blatt
common.buy 5.39 €
Fachberatung auf dem Weg zur Profession Elke Alsago / Buch Broschur
common.buy 28.00 €
EPISODIOS SOBRENATURALES EN LA GUERRA CIVIL ROMERO GARCIA / Buch Buch
common.buy 29.49 €
Mein großes Buch der Tiergeräusche / Buch Hardcover
common.buy 18.00 €
Cartas Portuguesas BARATA SILVERIO / Buch Broschur
common.buy 30.79 €
America O Canada Bhramanara Dinalipi Prakash Chandra Patra / Buch Broschur
common.buy 16.19 €
Interprétation en chinois; Aspects théoriques et méthodologies didactiques Riccardo Moratto / Buch Hardcover
common.buy 87.69 €
Alice au pays des merveilles Carroll / Buch Broschur
common.buy 9.49 €
Die heilige Barbara und der Kirschblütenzweig. Mini-Bilderbuch. Catharina Fastenmeier / Buch Blatt
common.buy 4.19 €
einfach lesen! Moby Dick. Aufgaben und Übungen Kirsten Grossmann / Buch Broschur
common.buy 11.69 €
Wanderjahre in Italien Ferdinand Gregorovius / Buch Hardcover
common.buy 24.90 €
Le Lai de Lanval Marie de France / Buch Broschur
common.buy 5.99 €
Liberte de la Presse. Proces de M. Bertin Aine, Redacteur En Chef Et Gerant Responsable Louis-Francois Bertin / Buch Broschur
common.buy 15.09 €
L-Architectes Heinz Wirz / Buch Broschur
common.buy 44.00 €
Informationen zur Rechtewahrnehmung im Urheberrecht Julius Mittenzwei / Buch Broschur
common.buy 52.95 €

This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation.

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 Robert Hierons, Mercedes G. Merayo, Mario Bravetti
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2013
Anzahl der Seiten 321
EAN 9783642405600
ISBN 3642405606
Libristo-Code 02016931
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 5153
Abmessungen 155 x 235 x 19

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

Fifty Years in the East Dr Farhad Daftary / Buch Hardcover
common.buy 76.09 €
Software Engineering Elvis C. Foster / Buch Broschur
common.buy 84.09 €
Demnächst
London's Lord Mayors Emma Hatfield / Buch Hardcover
common.buy 22.39 €
Job Mona P. Bias / Buch Broschur
common.buy 25.79 €
Brady Lake Fun Book: A Fun and Educational Book About Brady Lake Jobe Leonard / Buch Broschur
common.buy 10.69 €
Magic Molly; The Mirror Maze Trevor Forest / Buch Broschur
common.buy 6.59 €
End Times - What Is It Really About? Michael Joseph Kiser / Buch Broschur
common.buy 17.09 €
Smoker Cookbook in Texas Style: The Art of Smoking Meat with Texas BBQ, Ultimate Smoker Cookbook for Real Pitmasters, Irresistible Barbecue Recipes in Adam Jones / Buch Broschur
common.buy 20.19 €
Fairytale Danielle Steel / Buch Broschur
common.buy 8.89 €
Remembering the Osage Kid Mardi Oakley Medawar / Buch Broschur
common.buy 19.09 €
James Otiss Speech On The Writs Of Assistance, 1906 (1906) James Otiss / Buch Broschur
common.buy 23.19 €
Mountains And Molehills: Or Recollections Of A Burnt Journal (1855) Frank Marryat / Buch Broschur
common.buy 33.99 €
Wushu Shaolin Kung Fu: White Belt Sal Redner / Buch Broschur
common.buy 40.69 €
Making of Americans Gertrude Stein / Buch Broschur
common.buy 18.39 €
Demnächst
Repertory of Pregnancy, Parturition and Puerperium Alberto Soler-Medina / Buch Broschur
common.buy 19.69 €
Benefit Sharing Doris Schroeder / Buch Hardcover
common.buy 107.29 €
What Works in Corrections Doris Layton MacKenzie / Buch Hardcover
common.buy 147.19 €
White House is Burning Jane Sutcliffe / Buch Hardcover
common.buy 16.99 €
Introduction to Anglo-Saxon. An Anglo-Saxon Reader, With Philological Notes, A Brief Grammar, and A Vocabulary. by Francis A. March ... Francis Andrew March / Buch Broschur
common.buy 22.99 €
Fortune like the Moon Alys Clare / Buch Broschur
common.buy 12.49 €
Toyota Land Cruiser Automotive Repair Manual Jeff Kibler / Buch Broschur
common.buy 46.79 €
Appropriation of Native American Spirituality Suzanne Owen / Buch Broschur
common.buy 60.59 €
Asian Crisis: A New Agenda For Euro-asian Cooperation, The Tommy Koh / Buch Broschur
common.buy 45.39 €
Hyperthermia Fabian Bley / Buch Broschur
common.buy 62.29 €

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