SULJE VALIKKO

avaa valikko

Kyungmin Bae | Akateeminen Kirjakauppa

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



Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proce
Kyungmin Bae; Peter Csaba Ölveczky
Springer Nature Switzerland AG (2018)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Rewriting Logic and Its Applications : 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selecte
Kyungmin Bae (ed.)
Springer (2022)
Pehmeäkantinen kirja
68,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proce
49,60 €
Springer Nature Switzerland AG
Sivumäärä: 297 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2018
Julkaisuvuosi: 2018, 07.10.2018 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering
This book constitutes the refereed proceedings from the 15th International Conference on Formal Aspects of Component Software, FACS 2018, held in Pohang, South Korea, in October 2018.
The 14 full papers presented together with an invited abstract and an invited paper were carefully reviewed and selected from 32 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Procezoom
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste