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

9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Software Engineering and Formal Methods Gilles Barthe
Libristo-Code: 01659065
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Oktober 2011
This book constitutes the refereed proceedings of the 9th International Conference on Software Engin... Vollständige Beschreibung
? points 124 b
50.79 € inkl. MwSt.
50% Chance Wir werden die ganze Welt durchsuchen Wann bekomme ich das Buch?

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

ROMANCE DE L'AVENT - UN C?UR POUR NOËL Sophie JOMAIN / Buch Buch
common.buy 19.29 €
Ausgewahlte Schriften Heinrich Von Kleist / Buch Broschur
common.buy 25.90 €
saga del giovane Goku. Dragon Ball full color Akira Toriyama / Buch Broschur
common.buy 8.09 €
Teoría crítico-estructuralista del Derecho mercantil Salomão Filho / Buch Broschur
common.buy 30.79 €
Top
Tengo miedo torero PEDRO LEMEBEL / Buch Broschur
common.buy 16.29 €
FITOTERAPIA NATURALE Mike Avellano / Buch Broschur
common.buy 15.59 €
Jak myšák Felix zachránil Vánoce Alex T. Smith / Buch Hardcover
common.buy 12.09 €
Islamisches Recht in Theorie und Praxis Khalfaoui Mouez Khalfaoui / E-Book Adobe ePub DRM
common.buy 28.49 €
El ocaso de occidente Luis Saez Rueda / E-Book Adobe ePub DRM
common.buy 11.99 €
Ako funguje hasičské auto? Lara Bryan / Buch Leporello
common.buy 8.79 €
ET SI CR ROSE / Buch Broschur
common.buy 8.69 €
TENEBRIS Michaela Brnková / Buch Broschur
common.buy 12.99 €
Die Löwen von Onur Sandra Gernt / Buch Broschur
common.buy 18.95 €
Programa de técnicas de trabajo intelectual. Cuaderno 2 Pilar Alonso Díez / Buch Broschur
common.buy 8.99 €
Top
Technika Pracovný zošit pre 6. ročník ZŠ Eleonóra Boocová / Buch Broschur
common.buy 2.19 €
Starken und Schwachen agiler Softwareentwicklungsmodelle Thomas Ecker / Buch Broschur
common.buy 52.95 €
Dr. Martin Luther Wilhelm Behrendt / Buch Broschur
common.buy 32.90 €
VW Käfer 1200/1300/1500/1302/S/1303/S alle Modelle ab August '69 Dieter Korp / Buch Buch
common.buy 34.90 €
Le Role de la France Au Maroc Romagny-J / Buch Broschur
common.buy 15.59 €
Türk Siyasetinin Yapisal Analizi 1 Hasan Bülent Kahraman / Buch Broschur
common.buy 8.19 €
El ojo del espíritu : una visión integral para un mundo que está enloqueciendo poco a poco Ken Wilber / Buch Broschur
common.buy 26.69 €
La medicina compostelana (1847-1950) AVELINO FRANCO GRANDE / Buch Broschur
common.buy 75.29 €
Paradis conjugal Ferney / Buch Broschur
common.buy 11.09 €
Mein musikalisches Bilderbuch (Bd. 2) - Ferdinand sucht einen Freund Maria Köhnen / Buch Hardcover
common.buy 14.99 €

This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011. §The 22 revised regular papers presented together with 1 short paper, 2 tool papers, and 4 keynote talks were carefully reviewed and selected from 105 initial abstracts and 85 full submissions. Besides the regular session the conference held a special track devoted to "Modeling for Sustainable Development" with 5 accepted papers - selected from 7 submissions - that are also part of this volume. The aim of SEFM is to advance the state of the art in formal methods, to scale up their application in software industry and to encourage 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 Gilles Barthe, Alberto Pardo, Gerardo Schneider
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2011
Anzahl der Seiten 504
EAN 9783642246890
ISBN 3642246893
Libristo-Code 01659065
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 777
Abmessungen 155 x 235 x 30

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

Modern Theory of Crystal Growth I A.A. Chernov / Buch Broschur
common.buy 96.29 €
The House of Barbary Isabelle Schuler / Buch Broschur
common.buy 14.69 €
The Hymns of Hermes: Echoes from the Gnosis G R S Mead / Buch Broschur
common.buy 12.59 €
The Iceblade Sorcerer Shall Rule the World 6 Nana Mikoshiba / Buch Broschur
common.buy 8.39 €
Business Model Innovation DANIELA ANDREINI / Buch Broschur
common.buy 115.49 €
Top
Infernium Julie Belfield / Buch Hardcover
common.buy 23.79 €
Enigma: The Battle for the Code Hugh Sebag-Montefiore / Buch Hardcover
common.buy 23.19 €
Fun Games and Activities for kids 4 years + Maryan Ben Kim / Buch Broschur
common.buy 13.39 €
Mountain Terror (Mills & Boon Heroes) (Eagle Mountain Search and Rescue, Book 3) Cindi Myers / E-Book Adobe ePub DRM
common.buy 2.69 €
Predictive Control for Linear and Hybrid Systems Francesco Borrelli / Buch Hardcover
common.buy 160.59 €
Top
Cambridge English Movers 1 for Revised Exam from 2018 Answer Booklet collegium / Buch Broschur
common.buy 3.09 €
Resurrection Of A Dying Breed Abdul Damal Chappell / Buch Broschur
common.buy 12.39 €
To all Those with Aberrant Brains!: The Complete Works of Freidrich Nietzche Friedrich Nietzche / Buch Broschur
common.buy 9.19 €
The Decline of Politics: The Conservatives and the Party System, 1901-1920 John English / Buch Broschur
common.buy 16.19 €
Positive School Leadership Joseph F. Murphy / Buch Broschur
common.buy 40.09 €
Neu
Samba, Blues and Jazz Ruben Oliven / Buch Hardcover
common.buy 220.19 €
Janus Conspiracy MICHAEL DAVIES / Buch Broschur
common.buy 19.79 €
Top
Junji Ito Collection Coloring Book Junji Ito / Buch Broschur
common.buy 10.49 €
The Secret Book: Discover the Hidden Treasures Within You Michael Kintalel / Buch Broschur
common.buy 9.79 €
Lucky Luke: The Complete Collection Vol. 2 Goscinny / Buch Hardcover
common.buy 36.89 €
Rules and Regulations for the Guidance of Employees and Others [microform] Canadian Pacific Railway Company / Buch Broschur
common.buy 16.39 €
Compassionate Commitment JAMES FARWELL / Buch Broschur
common.buy 13.19 €
Loud House #10 The Loud House Creative Team / Buch Hardcover
common.buy 10.99 €
Leo Calder and Lucile Hacking Calder's Letters: 1953-1956 Marie Calder Ricks / Buch Broschur
common.buy 12.39 €

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?