2015, ISBN: 9783319289335
This book constitutes the revised selected papers from the 12th International Conference on Formal Aspects of Component Software, FACS2015, held in Niterói, Brazil, in October 2015… Mehr…
BarnesandNoble.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
2016, ISBN: 3319289330
[EAN: 9783319289335], Neubuch, [PU: Springer International Publishing AG, Switzerland], Language: English. Brand new Book. This book constitutes the revised selected papers fromthe 12th I… Mehr…
AbeBooks.de The Book Depository EURO, London, United Kingdom [60485773] [Rating: 2 (von 5)] NEW BOOK. Versandkosten: EUR 3.36 Details... |
2015, ISBN: 9783319289335
This book constitutes the revised selected papers from the 12th International Conference on Formal Aspects of Component Software, FACS 2015, held in Niterói, Brazil, in October 2015.… Mehr…
Indigo.ca new in stock. Versandkosten:zzgl. Versandkosten. Details... |
Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers - neues Buch
2016, ISBN: 3319289330
1st ed. 2016 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, mit Schutzumschlag neu, [PU:Springer International Publishing]
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015, Revised Selected Papers - Taschenbuch
2016, ISBN: 3319289330
[EAN: 9783319289335], Neubuch, [PU: Springer 2016-03-07]
AbeBooks.de Chiron Media, Wallingford, United Kingdom [55661942] [Rating: 4 (von 5)] NEW BOOK. Versandkosten: EUR 1.40 Details... |
Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers Christia - neues Buch
2015, ISBN: 9783319289335
This book constitutes the revised selected papers from the 12th International Conference on Formal Aspects of Component Software, FACS2015, held in Niterói, Brazil, in October 2015… Mehr…
2016, ISBN: 3319289330
[EAN: 9783319289335], Neubuch, [PU: Springer International Publishing AG, Switzerland], Language: English. Brand new Book. This book constitutes the revised selected papers fromthe 12th I… Mehr…
2015
ISBN: 9783319289335
This book constitutes the revised selected papers from the 12th International Conference on Formal Aspects of Component Software, FACS 2015, held in Niterói, Brazil, in October 2015.… Mehr…
Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers - neues Buch
2016, ISBN: 3319289330
1st ed. 2016 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, mit Schutzumschlag neu, [PU:Springer International Publishing]
Bibliographische Daten des bestpassenden Buches
Detailangaben zum Buch - Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers Christia
EAN (ISBN-13): 9783319289335
ISBN (ISBN-10): 3319289330
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2015
Herausgeber: Springer International Publishing Core >1 >T
Buch in der Datenbank seit 2016-01-26T14:40:54+01:00 (Berlin)
Detailseite zuletzt geändert am 2021-02-16T18:23:49+01:00 (Berlin)
ISBN/EAN: 9783319289335
ISBN - alternative Schreibweisen:
3-319-28933-0, 978-3-319-28933-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: peter, peters software gmbh, braga
Titel des Buches: niteroi, facs, international conference software, aspects form, brazil 2015, october
Daten vom Verlag:
Autor/in: Christiano Braga; Peter Csaba Ölveczky
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
Verlag: Springer; Springer International Publishing
331 Seiten
Erscheinungsjahr: 2016-01-30
Cham; CH
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
X, 331 p. 118 illus. in color.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; component software; model checking; modeling; simulation; software engineering; analysis tools; b-method; certification; formal methods; formal models; formal semantics; logic and verification; modeling approaches; models of computation; operational semantics; service-oriented computing; software architectures; timed automata; transformation; type theory; Software Engineering; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Programming Techniques; IT Operations; Theoretische Informatik; Compiler und Übersetzer; Computerprogrammierung und Softwareentwicklung; Wirtschaftsmathematik und -informatik, IT-Management; EA
Quality of service to withstand faults.- Component-based software development through research on mathematical models for components.- Composition and adaptation.- Rigorous approaches to verification, deployment, testing, and certification.Includes supplementary material: sn.pub/extras
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030409135 Formal Aspects of Component Software (Farhad Arbab; Sung-Shik Jongmans)
< zum Archiv...