2010, ISBN: 9783642272691
This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães, Portugal, in October 2010. The 13 f… Mehr…
ebooks.com new in stock. Versandkosten:plus shipping costs., zzgl. Versandkosten Details... |
2010, ISBN: 9783642272691
This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães, Portugal, in October 2010. The 13 fu… Mehr…
ebooks.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
Formal Aspects of Component Software : 7th International Workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010, Revised Selected Papers - neues Buch
2010, ISBN: 9783642272691
; PDF; Computing > Computer hardware > Network hardware, Vieweg+Teubner Verlag
hive.co.uk No. 9783642272691. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2012, ISBN: 9783642272691
7th International Workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010, Revised Selected Papers, eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]
lehmanns.de Versandkosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2010, ISBN: 9783642272691
Formal Aspects of Component Software ab 53.49 EURO 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers Medien > Bücher, [PU: Springer,… Mehr…
eBook.de Nr. Versandkosten:, , zzgl. Versandkosten. Details... |
2010, ISBN: 9783642272691
This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães, Portugal, in October 2010. The 13 f… Mehr…
2010, ISBN: 9783642272691
This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães, Portugal, in October 2010. The 13 fu… Mehr…
Formal Aspects of Component Software : 7th International Workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010, Revised Selected Papers - neues Buch
2010
ISBN: 9783642272691
; PDF; Computing > Computer hardware > Network hardware, Vieweg+Teubner Verlag
2012, ISBN: 9783642272691
7th International Workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010, Revised Selected Papers, eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]
2010, ISBN: 9783642272691
Formal Aspects of Component Software ab 53.49 EURO 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers Medien > Bücher, [PU: Springer,… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Formal Aspects of Component Software
EAN (ISBN-13): 9783642272691
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2017-02-19T15:04:13+01:00 (Berlin)
Detailseite zuletzt geändert am 2020-11-06T11:53:45+01:00 (Berlin)
ISBN/EAN: 9783642272691
ISBN - alternative Schreibweisen:
978-3-642-27269-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: alf krüger, teubner
Titel des Buches: aspects form, guimaraes
Daten vom Verlag:
Autor/in: Luis Soares Barbosa; Markus Lumpe
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
Verlag: Springer; Springer Berlin
305 Seiten
Erscheinungsjahr: 2012-01-19
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
X, 305 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; aspect-oriented modeling; constraint automata ^; graph transformation; object orientation; run-time verification; C; Software Engineering; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Formal Languages and Automata Theory; Programming Techniques; Computer Communication Networks; Computer Science; Theoretische Informatik; Compiler und Übersetzer; Computerprogrammierung und Softwareentwicklung; Netzwerk-Hardware; BC
The 13 full papers and 4 short papers presented together with 1 panel discussion and 2 invited talks were carefully reviewed and selected from 37 submissions. The workshop seeks to develop a better understanding on how formal methods can or should be used for component-based software development to succeed.Up-to-date results Fast-track conference proceedings State-of-the-art research
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030021467 Formal Aspects of Component Software (Kyungmin Bae; Peter Csaba Olveczky)
- 9783030021467 Formal Aspects of Component Software (Kyungmin Bae; Peter Csaba Olveczky)
- 9783030409135 Formal Aspects of Component Software (Farhad Arbab; Sung-Shik Jongmans)
- 9783030409142 Formal Aspects of Component Software (50-99.99)
- 9783030021450 Formal Aspects of Component Software (Herausgegeben:Ölveczky, Peter Csaba; Bae, Kyungmin)
< zum Archiv...