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.99 € Hermes Kurierdienst 5.49 € DHL-Kurier 4.49 € Hermes-Stelle 4.99 € DPD-Stelle 3.49 € GLS-Kurierdienst 5.49 €
phone Kontakt phoneWie einkaufen

Formal Methods and Software Engineering

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

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Methods and Software Engineering Michael Butler
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
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

De la race des seigneurs Alain-Fabien Delon / Buch Broschur
common.buy 30.99 €
Histoire Du Plebiscite: Le Plebiscite Dans L'Antiquite (1887) Charles Borgeaud / Buch Broschur
common.buy 27.29 €
Il libro dei lupi MEZZO DAVIDE ANDREA / Buch Broschur
common.buy 17.69 €
Druhá derivace touhy Na prahu digitální teologie Tomáš Sedláček / Buch Hardcover
common.buy 13.09 €
Don Chisciotte in Sicilia Roberto Mandracchia / Buch Broschur
common.buy 16.99 €
Peche a la lune (La) DUBOIS / Buch Broschur
common.buy 7.99 €
Günstig
Ran the Peerless Beauty 06 Hana Rude / Buch Broschur
common.buy 6.99 €
Appuntamento a Positano Goliarda Sapienza / Buch Broschur
common.buy 13.99 €
Ich und du 5 podręcznik +CD /2012 Marta Kozubska Buch Broschur
common.buy 9.29 €
Historia del convento de Ntra.Sra.del Rosario de Oviedo TABOADA / Buch Broschur
common.buy 40.79 €
Jak přemýšlí náš teenager? Tanith Careyová / Buch Broschur
common.buy 16.19 €
La Peor Seqora del Mundo Francisco Hinojosa / Buch Broschur
common.buy 6.29 €
Espiritualidad Islamica en Venezuela Nadya Ramdjan / Buch Broschur
common.buy 364.19 €
Die Geschichte des Gil Blas von Santillana Alain René Le Sage / Buch Broschur
common.buy 34.90 €
Gestao por processos para micro e pequena empresa PEREIRA J NIOR EDSON / Buch Broschur
common.buy 57.79 €
Chefs-d'Oeuvre de Voltaire. Tome 3. Merope Voltaire / Buch Broschur
common.buy 20.59 €
Essai Philosophique Sur Le Corps Humain: Pour Servir de Suite A La Philosophie de la Nature. V2 Jean Baptiste Claude Delisle De Sales / Buch Broschur
common.buy 27.99 €
de l'Utilite Des Colonies Pour La France Et Du Systeme Des Douanes Applique Aux Denrees Coloniales Ambert-J / Buch Broschur
common.buy 14.29 €
L'Espagne Telle Qu'elle Est Almirall-V / Buch Broschur
common.buy 14.29 €
Les Femmes Du Nouveau Monde (Nouv. Ed.) Eyma-X / Buch Broschur
common.buy 23.99 €
Aguas curativas / Healing Water Ben Johnson / Buch Broschur
common.buy 14.59 €
Hunger auf Leben Brigitte Reimann / Buch Broschur
common.buy 8.50 €
Farben der Geschichte Krisztina Jütten / Buch Broschur
common.buy 24.90 €
De ejercicios con sor Isabél de Meester / Buch Broschur
common.buy 12.99 €

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

Das könnte Sie auch interessieren

Neurobrucellosis Mehmet Turgut / Buch Hardcover
common.buy 105.09 €
Evolution Driven by Organismal Behavior Rui Diogo / Buch Hardcover
common.buy 34.69 €
A California Explorer: Five years contributions to California Explorer Magazine Meade Fischer / Buch Broschur
common.buy 10.99 €
Thermo-Hydraulics of Nuclear Reactors Christopher Earls Brennen / Buch Hardcover
common.buy 73.99 €
Rival Truths Lindsay St Claire / Buch Broschur
common.buy 59.59 €
American Game Fishes; Their Habits, Habitat and Peculiarities; George O. ]. 1846- [From Old C [Shields / Buch Hardcover
common.buy 41.69 €
Blood Brothers Beyond Rob J Hayes / Buch Hardcover
common.buy 22.59 €
Top
My Family Puzzle - Country Life Olivia Gibbs / Spiel/Spielzeug Puzzle
common.buy 15.89 €
Obturating Materials for Decidouos Dentition Deepti Jawa / Buch Broschur
common.buy 40.99 €
Tecumseh's Last Stand John Peter Sugden / Buch Broschur
common.buy 24.69 €
The Story of Bruges Ernest Gilliat-Smith / Buch Broschur
common.buy 31.49 €
Demnächst
Assassin's Creed: The Magus Conspiracy Kate Heartfield / Buch Broschur
common.buy 11.39 €
Asi Se Dice! Level 1a, Student Edition McGraw-Hill Education / Buch Hardcover
common.buy 146.69 €
Amnesty International and Women's Rights Miriam Ganzfried / Buch Broschur
common.buy 64.79 €
Voice Biomarkers Shinichi Tokuno / Buch Hardcover
common.buy 136.59 €
Questions and Answers on Bills, Notes, and Checks. E Richard Shipp / Buch Broschur
common.buy 15.09 €
Federal Standards and Procedures for the National Watershed Boundary Dataset (WBD) U S Department of Agriculture / Buch Broschur
common.buy 18.69 €
The McGregor Chronicles: Book 2 - Escape from Eden Larry K Collins / Buch Broschur
common.buy 13.19 €
Top Fermented Vegetable Recipes: A Step-by-Step Guide for Kimchi, Krauts, and Ot Lisa Young / Buch Broschur
common.buy 7.69 €
Unmanned Aircraft System Commander's Guide and Aircrew Training Manual (TC 1-600) Department Of the Army / Buch Broschur
common.buy 19.59 €
Music Theory for Singers Level One SANDVIG / Buch Broschur
common.buy 26.89 €
Pearson REVISE 11+ English Practice Book 1 Helen Thomson / Buch Broschur
common.buy 14.89 €
Two Ways Home E. S. BURTON / Buch Broschur
common.buy 16.79 €
LEGO (R) Brick Playing Cards LEGO / Drucksachen Karten
common.buy 14.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?