Christiano Braga | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 2 tuotetta
Haluatko tarkentaa hakukriteerejä?

FORMAL ASPECTS OF COMPONENT SOFTWARE - 12TH INTERNATIONAL CONFERENCE, FACS 2015, NITERÓI, BRAZIL, OCTOBER 14-16, 2015, REVISED

Christiano Braga; Peter Csaba Ölveczky
Springer International Publishing AG (2016)
Pehmeäkantinen kirja

49,60 €

FORMAL METHODS: FOUNDATIONS AND APPLICATIONS - 17TH BRAZILIAN SYMPOSIUM, SBMF 2014, MACEIÓ, AL, BRAZIL, SEPTEMBER 29--OCTOBER 1,

Christiano Braga; Narciso Martí-Oliet
Springer International Publishing AG (2015)
Pehmeäkantinen kirja

40,00 €

Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised

Christiano Braga, Peter Csaba Ölveczky

49,60 €

Springer International Publishing AG
Sivumäärä: 331 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2016
Julkaisuvuosi: 2016, 30.01.2016 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering

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.

The 15 full papers and 2 invited papers presented in this
volume were carefully reviewed and selected from 33 submissions. They are
organized in topical sections, namely 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.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 5-6 viikossa. | Tilaa jouluksi viimeistään 13.11.2024

Myymäläsaatavuus