SULJE VALIKKO

avaa valikko

Márcio Cornélio | Akateeminen Kirjakauppa

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



Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 201
Márcio Cornélio; Bill Roscoe
Springer International Publishing AG (2016)
Pehmeäkantinen kirja
40,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Violação da Superaditividade Forte do Emaranhamento Quântico
Cristiano Campos de Miranda; Márcio F Cornélio
Novas Edicoes Academicas (2018)
Pehmeäkantinen kirja
108,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 201
40,00 €
Springer International Publishing AG
Sivumäärä: 195 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2016
Julkaisuvuosi: 2016, 03.02.2016 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering
This book constitutes revised selected papers from the
18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo
Horizonte, Brazil, in September 2015.





The 11 papers presented in this volume were carefully
reviewed and selected from 25 submissions. They were organized in topical
sections named: model checking; languages and semantics; refinement and
verification; testing and evaluation.

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 Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 201zoom
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste