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 €

DHL-Kurier 10.49 € Elta-Stelle 4.49 € Elta 4.99 € ACS 5.49 € Box Now 4.49 € ACS-Stelle 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Software Engineering and Formal Methods

Name: Software Engineering and Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01659065
Price: 56.8 EUR
Availability: InStock
Author: Gilles Barthe
ISBN: 9783642246890

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

Gilles Barthe

Alberto Pardo

Gerardo Schneider

Sprache

Englisch

Buch Broschur

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

Libristo-Code: 01659065

138 b

56.80 €

Externes Lager in kleiner Menge Wir versenden in 3-6 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

ROMANCE DE L'AVENT - UN C?UR POUR NOËL Sophie JOMAIN

Buch

22.75 €

Die Löwen von Onur Sandra Gernt

Broschur

17.01 €

Starken und Schwachen agiler Softwareentwicklungsmodelle Thomas Ecker

Broschur

47.03 €

TENEBRIS Michaela Brnková

Broschur

13.69 €

Ako funguje hasičské auto? Lara Bryan

Leporello

9.26 €

ET SI CR ROSE

Broschur

8.75 €

Metrum macht Laune! Hans-Peter Tiemann

Broschur

18.32 €

Lullaby of the Dawn 1 Anne Klink

Broschur

8.25 €

El ocaso de occidente Luis Saez Rueda

Adobe ePub DRM

14.29 €

Doll Tamara Alekhina

Adobe ePub DRM

2.41 €

Islamisches Recht in Theorie und Praxis Khalfaoui Mouez Khalfaoui

Adobe ePub DRM

35.24 €

Jak myšák Felix zachránil Vánoce Alex T. Smith

Hardcover

14.19 €

A morte anda descalça Abel Carvajal

Broschur

13.99 €

Technika Pracovný zošit pre 6. ročník ZŠ Eleonóra Boocová

Broschur

3.11 €

21 La magie de l'ignorance Sam Tunda

Broschur

18.42 €

Programa de técnicas de trabajo intelectual. Cuaderno 2 Pilar Alonso Díez

Broschur

11.07 €

La medicina compostelana (1847-1950) AVELINO FRANCO GRANDE

Broschur

80.30 €

El ojo del espíritu : una visión integral para un mundo que está enloqueciendo poco a poco Ken Wilber

Broschur

32.93 €

Mein musikalisches Bilderbuch (Bd. 2) - Ferdinand sucht einen Freund Maria Köhnen

Hardcover

12.68 €

Türk Siyasetinin Yapisal Analizi 1 Hasan Bülent Kahraman

Broschur

9.16 €

Quellen zur Metallverarbeitung im Nordischen Kreis der Bronzezeit Detlef Jantzen

Hardcover

203.85 €

A Flower Book (Simplified Chinese): 10 Hanyu Pinyin with IPA Paperback Color H y Xiao Phd

Broschur

40.08 €

Ausgewahlte Schriften Heinrich Von Kleist

Broschur

23.16 €

Kirchliche Hochschulen Ulrich Rhode

Hardcover

49.65 €

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

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