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…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
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…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
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…
Indigo.ca new in stock. Versandkosten:zzgl. Versandkosten. Details... |
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…
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
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…
eBook.de Nr. 25031665. Versandkosten:, , DE. (EUR 0.00) Details... |
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…
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 Buch2015, ISBN: 3319254227
1st ed. 2015 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Computerprogrammierung und Softwareentwicklung, Algorithmen und Datenstrukturen, Compiler und… Mehr…
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…
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…
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…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
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 (Vienna)
Detailseite zuletzt geändert am 2024-03-30T07:56:00+01:00 (Vienna)
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/extrasWeitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030024499 Formal Methods and Software Engineering (Jing Sun, Meng Sun)
- 9783030024499 Formal Methods and Software Engineering (Jing Sun, Meng Sun)
- 9780367210878 Biodental Engineering V (Jorge Belinha; R.M. Natal Jorge; J.C. Reis Campos; Mário A.P. Vaz; João Manuel R.S. Tavares)
- 9780074603451 Recent advances in chemical engineering: Proceedings of the International Con... (D. N. Saraf)
- 9780306453748 Advances in Cryogenic Engineering Materials Leonard T. Summers Editor (Leonard T. Summers)
- Advanced Materials and Structural Engineering: Proceedings of the International Conference on Advanced Materials and Engineering Structural Technology ... 2015, Qingdao, China (English Edition) (Jane McKee Smith)
< zum Archiv...