- 5 Ergebnisse
Kleinster Preis: € 55,60, größter Preis: € 72,96, Mittelwert: € 67,34
1
Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings - Butler, Michael (Herausgeber); Zaïdi, Fatiha (Herausgeber); Conchon, Sylvain (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 55,60
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Butler, Michael (Herausgeber); Zaïdi, Fatiha (Herausgeber); Conchon, Sylvain (Herausgeber):

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

2015, ISBN: 3319254227

1st ed. 2015 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Computerprogrammierung und Softwareentwicklung, Algorithmen und Datenstrukturen, Compiler und… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
2
Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings - Butler, Michael (Herausgeber); Zaïdi, Fatiha (Herausgeber); Conchon, Sylvain (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 71,19
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Butler, Michael (Herausgeber); Zaïdi, Fatiha (Herausgeber); Conchon, Sylvain (Herausgeber):

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

2015, ISBN: 3319254227

1st ed. 2015 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Computerprogrammierung und Softwareentwicklung, Algorithmen und Datenstrukturen, Compiler und… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
3
Bestellen
bei Indigo.ca
C$ 113,95
(ca. € 72,96)
Bestellen
Details und Versand
gesponserter Link
Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, N - neues Buch

2015

ISBN: 9783319254227

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

new in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
4
Formal Methods and Software Engineering - Michael Butler; Sylvain Conchon; Fatiha Zaïdi
Bestellen
bei lehmanns.de
€ 68,48
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Michael Butler; Sylvain Conchon; Fatiha Zaïdi:
Formal Methods and Software Engineering - Taschenbuch

2015, ISBN: 9783319254227

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings, Buch, Softcover, 1st ed. 2015, [PU: Springer International Publish… Mehr…

Versandkosten:Versand in 10-14 Tagen. (EUR 0.00)
zuklappen (X)
5
Formal Methods and Software Engineering
Bestellen
bei eBook.de
€ 68,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Formal Methods and Software Engineering - neues Buch

2015, ISBN: 3319254227

Formal Methods and Software Engineering ab 68.49 EURO 17th International Conference on Formal Engineering Methods ICFEM 2015 Paris France November 3-5 2015 Proceedings. 1st ed. 2015 Medie… Mehr…

Nr. 25031665. Versandkosten:, , DE. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Formal Methods and Software Engineering
Autor:
Titel:
ISBN-Nummer:

9783319254227


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.

Detailangaben zum Buch - Formal Methods and Software Engineering


EAN (ISBN-13): 9783319254227
ISBN (ISBN-10): 3319254227
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2015
Herausgeber: Springer International Publishing

Buch in der Datenbank seit 2015-09-19T19:43:19+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-03-30T07:56:00+01:00 (Berlin)
ISBN/EAN: 9783319254227

ISBN - alternative Schreibweisen:
3-319-25422-7, 978-3-319-25422-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: butler michael, syl
Titel des Buches: engineering, 17th international conference software, november, butler book, paris

Daten vom Verlag:

Autor/in: Michael Butler; Sylvain Conchon; Fatiha Zaïdi
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
Verlag: Springer; Springer International Publishing
436 Seiten
Erscheinungsjahr: 2015-12-02
Cham; CH
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XXV, 436 p. 150 illus. in color.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Concurrent systems; Distributed algorithms; Model checking; Software product lines; Specification languages; Consistency verification; Constraint solving; Domain specific visualization; Evaluation; Language design; Logic; Model-driven engineering; Reliability; Security; Semantics; Software design; Software verification; Specification; System modeling; Theorem proving; Software Engineering; Programming Techniques; Compilers and Interpreters; Algorithms; Formal Languages and Automata Theory; Computer Communication Networks; Computerprogrammierung und Softwareentwicklung; Compiler und Übersetzer; Algorithmen und Datenstrukturen; Theoretische Informatik; Netzwerk-Hardware; EA

Includes supplementary material: sn.pub/extras
< zum Archiv...