Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

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 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Software Engineering and Formal Methods

Name: Software Engineering and Formal Methods
Brand: Springer International Publishing AG
SKU: 09155938
Price: 53.79 EUR
Availability: InStock
Author: Carlos Canal
ISBN: 9783319152004

SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

Carlos Canal

Akram Idani

Sprache

Englisch

Buch Broschur

Libristo-Code: 09155938

Verlag Springer International Publishing AG, Februar 2015

This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 confe... Vollständige Beschreibung

Libristo-Code: 09155938

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

La Morale Anarchiste Petr Alekseevich Kropotkine

Broschur

14.19 €

Het obstipatie formularium A.J.P.M. Smout

Broschur

24.59 €

NUEVA NOVELA PR AUTOR PROVISIONAL

Hardcover

22.29 €

Tout le DEAS en QCM/QROC - IFAS - Diplôme État Aide-soignant - 2023-2024 Hayat Abbadi

Broschur

21.69 €

Expressionismus Bahr

Broschur

16.09 €

Kraniosakrální terapie Velká kniha Thomas Attlee

Buch

29.79 €

Diriger et gérer l'entreprise : dossiers et questions Koubi

Broschur

25.49 €

Propagation des singularites des solutions d'equations pseudo-differentielles a caracteristiques de multiplicites variables Richard Lascar

Broschur

37.69 €

Sinn der Liebe Wladimir Solov'ev

Hardcover

33.29 €

OEffentliche Verwaltung in Brasilien Und Deutschland Katrin Möltgen-Sicking

Broschur

70.29 €

Ratsburgerschaft und Residenz Christian Schmitz

Hardcover

165.19 €

R alisation d''une Commande Num rique Et Identification Par RNA Aimad Ahriche

Broschur

36.49 €

Les Anomalies Chromosomiques Et Leurs Cons quences Sur La Reproduction Katia Julian

Broschur

64.39 €

Enthaubttung dess Weltberuhmten Wohlredners Ciceronis Joseph Anton Stranitzky

Broschur

9.90 €

Cr?pes & Galettes Hervé Kerourédan

Hardcover

9.99 €

Englischsprachige Shakespeareparodien Des 20. Jahrhunderts Amrei Wiencek

Broschur

50.29 €

Romeo Et Juliette Au Village (Ed.1895) Gottfried Keller

Broschur

25.09 €

Bergwercks Geschoepff, und wunderbare Eigenschafft der Metalsfruchte Georg Meyer

Broschur

21.90 €

This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included in this volume were carefully reviewed and selected from 49 submissions. They are from the following workshops: the 1st Workshop on Human-Oriented Formal Methods - From Readability to Automation, HOFM 2014, the 3rd International Symposium on Modelling and Knowledge Management Applications - Systems and Domains, MoKMaSD 2014, the 8th International Workshop on Foundations and Techniques for Open Source Software Certification, Open Cert 2014, the 1st Workshop on Safety and Formal Methods, SaFoMe 2014, and the 4th Workshop on Formal Methods in the Development of Software, WS-FMDS 2014.

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 Carlos Canal, Akram Idani

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2015

Anzahl der Seiten 405

EAN 9783319152004

ISBN 3319152009

Libristo-Code 09155938

Verlag Springer International Publishing AG

Gewicht 6555

Abmessungen 155 x 235 x 10

Kategorie

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

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

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

Oxford Phonics World: Level 1: Teacher's Pack with Classroom Presentation Tool 1

Broschur

69.69 €

Unwrapping God's Gift of Life Cheryl Delamarter

Broschur

26.09 €

Functional Foods and Nutrition G. Subbulakshami

Hardcover

119.89 €

Linguistic Landscape of the Mediterranean Stefania Tufi

Hardcover

139.39 €

From Furs to Farms John Reda

Hardcover

170.19 €

United States of America Murray

Hardcover

37.69 €

Chemical News and Journal of Physical Science, Volume 3 Sir William Crookes

Hardcover

44.59 €

China and Sustainable Development in Latin America López Andres

Hardcover

130.09 €

Law of Moses Viewed in Connexion with the History and Character of the Jews Henry John Rose

Hardcover

34.79 €

Wild Kitty L T Meade

Broschur

12.39 €

Shih Tzu, Shih Tzu training a: Think Like a Dog, But Don't Eat Your Poop!: Shih Tzu Breed Expert Training, Here's EXACLTY How to Train Yuor Shih Tzu Paul Allen Pearce

Broschur

12.79 €