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)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

45,80 €

RECOMMENDER SYSTEMS FOR MANUAL TESTING

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

58,30 €

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

Juliano Iyoda, Leonardo de Moura

45,80 €

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

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 17-20 arkipäivässä

Myymäläsaatavuus