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 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

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

145 b

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

24.79 €

Histoire Géographie Histoire des Arts CM2 Goasdoue

Broschur

22.79 €

Ako funguje hasičské auto? Lara Bryan

Leporello

9.39 €

Starken und Schwachen agiler Softwareentwicklungsmodelle Thomas Ecker

Broschur

52.95 €

TENEBRIS Michaela Brnková

Broschur

14.29 €

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

Broschur

2.49 €

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

Hardcover

14.89 €

PLAY GUITAR TODAY SPIEL GITARRE (DVD) (DVD) Buch

binding.

29.19 €

Idrissa Kaba une histoire de vie. Témoignage Mamoudou Kabala Kabiné Kaba

Broschur

10.49 €

Perros detectores de cadáveres CAT WARREN

Hardcover

26.79 €

VW Käfer 1200/1300/1500/1302/S/1303/S alle Modelle ab August '69 Dieter Korp

Buch

34.90 €

Kirchliche Hochschulen Ulrich Rhode

Hardcover

51.79 €

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

Hardcover

14.99 €

Le Role de la France Au Maroc Romagny-J

Broschur

18.09 €

La medicina compostelana (1847-1950) AVELINO FRANCO GRANDE

Broschur

84.09 €

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

Broschur

34.19 €

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

Broschur

9.59 €

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