wyszukanych pozycji: 3
Dynamic Logic. New Trends and Applications: Second International Workshop, Dalí 2019, Porto, Portugal, October 7-11, 2019, Proceedings
ISBN: 9783030388072 / Angielski / Miękka / 2020 / 227 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
196,31 zł |
Formal Aspects of Component Software: 7th International Workshop, Facs 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
ISBN: 9783642272684 / Angielski / Miękka / 2012 / 305 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimaraes, Portugal, in October 2010. 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.
This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimaraes,...
|
|
cena:
196,31 zł |
Programming Languages: 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012, Proceedings
ISBN: 9783642331817 / Angielski / Miękka / 2012 / 170 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the proceedings of the 16th Brazililan Symposium on Programming Languages, SBLP 2012, held in Natal, Brazil, in September 2012. The 10 full and 2 short papers were carefully reviewed and selected from 27 submissions. The papers cover various aspects of programming languages and software engineering.
This book constitutes the proceedings of the 16th Brazililan Symposium on Programming Languages, SBLP 2012, held in Natal, Brazil, in September 2012. ...
|
|
cena:
180,64 zł |