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
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

Software Engineering and Formal Methods

10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Software Engineering and Formal Methods George Eleftherakis
Libristo-Code: 01662280
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2012
This book constitutes the refereed proceedings of the 10th International Conference on Software Engi... Vollständige Beschreibung
? points 111 b
45.49 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Storia avventurosa delle bandiere del mondo Dmytro Dubilet / Buch Hardcover
common.buy 25.99 €
Der Sterne Tennisbälle Stephen Fry / Buch Broschur
common.buy 18.00 €
Nietzsche ou l'Esprit de contradiction - étude sur la vision du monde du poète philosophe Kunnas Buch binding.
common.buy 19.39 €
Schachmatt! Garri Kasparow / Buch Hardcover
common.buy 15.00 €
LESEZUG/2. Klasse: Drachen mögen keinen Schluckauf Daniela Jarosz / Buch Hardcover
common.buy 9.95 €
Unter Robben und Eisbaren. Meine ersten Erlebnisse im Eismeer Fridtjof Nansen / Buch Broschur
common.buy 25.00 €
Le Grand Meaulnes Alain-Fournier / Buch Broschur
common.buy 10.59 €
Tom Gatesin Harika Dünyasi Liz Pichon / Buch Broschur
common.buy 15.99 €
El cuidado de tu caballo Cherry Hill / Buch Broschur
common.buy 20.49 €

This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from 98 full submissions. The SEFM conference aspires to advance the state-of-the-art in formal methods, to enhance their scalability and usability with regards to their application in the software industry and to promote their integration with practical engineering methods.

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 George Eleftherakis, Mike Hinchey, Mike Holcombe
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2012
Anzahl der Seiten 384
EAN 9783642338250
ISBN 3642338259
Libristo-Code 01662280
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 611
Abmessungen 155 x 235 x 22

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
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
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

Das könnte Sie auch interessieren

Watchmakers and Clockmakers of the World G.H. Baillie / Buch Hardcover
common.buy 40.89 €
Methods and Genealogies of New Materialisms Felicity Colman / Buch Hardcover
common.buy 164.99 €
Experiments Upon the Heart of the Dog William Henry Howell / Buch Broschur
common.buy 9.59 €
My Grampy is Santa Claus Byranna Kaster / Buch Broschur
common.buy 10.69 €
Make It Work: 22 Time-Tested, Real-Life Lessons for Sustaining a Healthy, Happy Relationship Gaskins / Buch Broschur
common.buy 15.49 €
Adventures of the Ramrod Rider John D Nesbitt / Buch Broschur
common.buy 12.39 €
Ant City Mot and the Think Center - Trade Version MR Douglas J Alford / Buch Broschur
common.buy 11.69 €
Grotesquerie Eden Royce / Buch Broschur
common.buy 14.69 €
GI Surgery Annual Peush Sahni / Buch Hardcover
common.buy 88.59 €
Handbook of Multilingualism and Multilingual Communication Peter Auer / Buch Broschur
common.buy 32.19 €
Firesmoke Sheniz Janmohamed / Buch Broschur
common.buy 13.19 €
Jayda's Reading Log Martha Day Zschock / Buch Hardcover
common.buy 12.69 €
The South During Reconstruction, 1865--1877: A History of the South E. Merton Coulter / Buch Hardcover
common.buy 71.49 €
Lincoln Lincoln Historical Society / Buch Broschur
common.buy 16.89 €
Northamptonshire Home Guard 1940-1945 B. G. Holloway / Buch Broschur
common.buy 17.99 €
Australia to Z Armin Greder / Buch Hardcover
common.buy 14.49 €
Slade McFarland Vicky Wisnasky / Buch Broschur
common.buy 13.89 €
Early Democracies in the Low Countries Henri Pirenne / Buch Broschur
common.buy 16.69 €
Brochs of Scotland J. N. Graham Ritchie / Buch Broschur
common.buy 7.99 €
Educational Innovation in Economics and Business III Richard G. Milter / Buch Hardcover
common.buy 136.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
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?