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… mais…
| ebooks.com new in stock. Custos de envio:plus shipping costs., mais custos de envio 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… mais…
| ebooks.com new in stock. Custos de envio:zzgl. Versandkosten., mais custos de envio Details... |
Formal Aspects of Component Software : 7th International Workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010, Revised Selected Papers - novo libro
2010, ISBN: 9783642272691
; PDF; Computing > Computer hardware > Network hardware, Vieweg+Teubner Verlag
| hive.co.uk No. 9783642272691. Custos de envio:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., mais custos de envio 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 Custos de envio: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,… mais…
| eBook.de Nr. Custos de envio:, , zzgl. Versandkosten., mais custos de envio 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… mais…
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… mais…
Formal Aspects of Component Software : 7th International Workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010, Revised Selected Papers - novo libro
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,… mais…
Dados bibliográficos do melhor livro correspondente
| Autor: | |
| Título: | |
| Número ISBN: |
Dados detalhados do livro - Formal Aspects of Component Software
EAN (ISBN-13): 9783642272691
Ano de publicação: 2010
Editor/Editora: Springer Berlin Heidelberg
Livro na base de dados desde 2017-02-19T14:04:13+00:00 (Lisbon)
Página de detalhes modificada pela última vez em 2020-11-06T10:53:45+00:00 (Lisbon)
Número ISBN/EAN: 9783642272691
Número ISBN - Ortografia alternativa:
978-3-642-27269-1
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: alf krüger, teubner
Título do livro: aspects form, guimaraes
Dados da editora
Autor: Luis Soares Barbosa; Markus Lumpe
Título: 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
Editora: Springer; Springer Berlin
305 Páginas
Ano de publicação: 2012-01-19
Berlin; Heidelberg; DE
Língua: Inglês
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
Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
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)
< Para arquivar...