Juliano Iyoda | Akateeminen Kirjakauppa

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

FORMAL METHODS: FOUNDATIONS AND APPLICATIONS - 16TH BRAZILIAN SYMPOSIUM, SBMF 2013, BRASILIA, BRAZIL, SEPTEMBER 29 - OCTOBER 4,

Juliano Iyoda; Leonardo de Moura
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja

47,40 €

RECOMMENDER SYSTEMS FOR MANUAL TESTING

Breno Miranda; Juliano Iyoda
LAP Lambert Academic Publishing (2012)
Pehmeäkantinen kirja

88,40 €

Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4,

Juliano Iyoda, Leonardo de Moura

47,40 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 243 sivua
Asu: Pehmeäkantinen kirja
Painos: 2013 ed.
Julkaisuvuosi: 2013, 13.09.2013 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering

This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus