- 0 Ergebnisse
Kleinster Preis: € 68,48, größter Preis: € 79,99, Mittelwert: € 71,68
1
Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, P
Bestellen
bei BarnesandNoble.com
€ 79,99
Bestellen
gesponserter Link

Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, P - 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.
2
Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, N
Bestellen
bei Indigo.ca
C$ 113,95
(ca. € 72,96)
Bestellen
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.
3
Formal Methods and Software Engineering
Bestellen
bei Hugendubel.de
€ 68,49
Versand: € 0,001
Bestellen
gesponserter Link
Formal Methods and Software Engineering - Taschenbuch

2015

ISBN: 3319254227

Gebundene Ausgabe

Formal Methods and Software Engineering ab 68.49 € als Taschenbuch: 17th International Conference on Formal Engineering Methods ICFEM 2015 Paris France November 3-5 2015 Proceedings. 1st … Mehr…

Nr. 25031665. Versandkosten:, , DE. (EUR 0.00)
4
Formal Methods and Software Engineering - Michael Butler; Sylvain Conchon; Fatiha Zaïdi
Bestellen
bei lehmanns.de
€ 68,48
Versand: € 0,001
Bestellen
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)
5
Formal Methods and Software Engineering
Bestellen
bei eBook.de
€ 68,49
Versand: € 0,001
Bestellen
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)

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.
Details zum Buch
Formal Methods and Software Engineering

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 2022-03-02T15:03:19+01:00 (Berlin)
ISBN/EAN: 9783319254227

ISBN - alternative Schreibweisen:
3-319-25422-7, 978-3-319-25422-7


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.
Gewicht: 6,964 kg
Sprache: Englisch
68,48 € (DE)
70,40 € (AT)
75,50 CHF (CH)
POD
XXV, 436 p. 150 illus. in color.

BC; Book; 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; C; Software Engineering; Programming Techniques; Programming Languages, Compilers, Interpreters; Algorithm Analysis and Problem Complexity; Mathematical Logic and Formal Languages; Computer Communication Networks; Software Engineering; Programming Techniques; Compilers and Interpreters; Algorithms; Formal Languages and Automata Theory; Computer Communication Networks; Computer Science; Computerprogrammierung und Softwareentwicklung; Compiler und Übersetzer; Algorithmen und Datenstrukturen; Theoretische Informatik; Netzwerk-Hardware; EA

Includes supplementary material: sn.pub/extras



Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783030024499 Formal Methods And Software Engineering: 20th International Conference On Formal Engineering Methods, Icfem 2018, Gold Coast, Qld, (Jing Sun, Meng Sun)


< zum Archiv...