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

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer International Publishing AG
SKU: 09535572
Price: 48.29 EUR
Availability: InStock
Author: Michael Butler
ISBN: 9783319254227

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Michael Butler

Sylvain Conchon

Fatiha Za?di

Sprache

Englisch

Buch Broschur

Libristo-Code: 09535572

Verlag Springer International Publishing AG, November 2015

This book constitutes the refereed proceedings of the 17th International§Conference on Formal Engine... Vollständige Beschreibung

Libristo-Code: 09535572

118 b

48.29 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Pforte der Verdammnis C.J. Sansom

Adobe ePub DRM

12.49 €

Il libro dei lupi MEZZO DAVIDE ANDREA

Broschur

15.49 €

Epistola Pastoralis S. Nersetis Claiensis... Giuseppe Cappelletti

Broschur

16.29 €

Don Chisciotte in Sicilia Roberto Mandracchia

Broschur

15.19 €

Druhá derivace touhy Na prahu digitální teologie Tomáš Sedláček

Hardcover

11.59 €

Max von Schenkendorf E. Heinrich

Broschur

34.90 €

Peche a la lune (La) DUBOIS

Broschur

6.99 €

De la race des seigneurs Alain-Fabien Delon

Broschur

27.49 €

J'ai décidé de maigrir Cohen

Broschur

8.69 €

Ich und du 5 podręcznik +CD /2012 Marta Kozubska Buch

Broschur

8.59 €

LA NATURE EN LANGUEDOC-ROUSSILLON LEGENDRE

Buch

12.89 €

Historia del convento de Ntra.Sra.del Rosario de Oviedo TABOADA

Broschur

37.49 €

CONOCIMIENTO DEL PROFESIONAL DE SALUD SOBRE QUIRÓFANO DIFERENCIADO Karla Sujey Vasquez Larco

Broschur

36.49 €

Ran the Peerless Beauty 06 Hana Rude

Broschur

6.99 €

Jak přemýšlí náš teenager? Tanith Careyová

Broschur

15.09 €

Entstehung und Entwicklung des nationalsozialistischen Denkens in OEsterreich. Eine Analyse von Martin Pollacks "Der Tote im Bunker. Bericht uber mein Kacper Piontkowski

Broschur

24.99 €

Appuntamento a Positano Goliarda Sapienza

Broschur

12.49 €

Zaginieni mistrzowie. Ponowne odkrycie duchowości Starożytnych Greckich Filozofów Eckhart Tolle Buch

binding.

9.19 €

Diren Emre Kongar

Broschur

8.19 €

Chefs-d'Oeuvre de Voltaire. Tome 3. Merope Voltaire

Broschur

18.09 €

Essai Philosophique Sur Le Corps Humain: Pour Servir de Suite A La Philosophie de la Nature. V2 Jean Baptiste Claude Delisle De Sales

Broschur

25.09 €

de l'Utilite Des Colonies Pour La France Et Du Systeme Des Douanes Applique Aux Denrees Coloniales Ambert-J

Broschur

12.69 €

L'Espagne Telle Qu'elle Est Almirall-V

Broschur

12.69 €

Les Femmes Du Nouveau Monde (Nouv. Ed.) Eyma-X

Broschur

21.39 €

This book constitutes the refereed proceedings of the 17th International§Conference on Formal Engineering Methods, ICFEM 2015, held in Paris,§France, in November 2015. The 27 revised full papers presented were§carefully reviewed and selected from 82 submissions. The papers cover a wide§range of topics in the area of formal methods and software engineering and are§devoted to advancing the state of the art of applying formal methods in§practice. They focus in particular on combinations of conceptual and§methodological aspects with their formal foundation and tool support.

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 Formal Methods and Software Engineering

Autor Michael Butler, Sylvain Conchon, Fatiha Za?di

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2015

Anzahl der Seiten 436

EAN 9783319254227

ISBN 3319254227

Libristo-Code 09535572

Verlag Springer International Publishing AG

Gewicht 6964

Abmessungen 155 x 235 x 236

Kategorie

EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

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

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