Leila Ribeiro | Akateeminen Kirjakauppa

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

FORMAL METHODS: FOUNDATIONS AND APPLICATIONS - 19TH BRAZILIAN SYMPOSIUM, SBMF 2016, NATAL, BRAZIL, NOVEMBER 23-25, 2016, PROCEED

Leila Ribeiro; Thierry Lecomte
Springer International Publishing AG (2016)
Pehmeäkantinen kirja

49,60 €

TECENDO O VÍNCULO ESTRATÉGIAS DE ENFRENTAMENTO

Tamara Mitchell Ribeiro Da Silva; Sônia Regina de Souza; Leila Leontina Do Couto Barcia
Novas Edicoes Academicas (2018)
Pehmeäkantinen kirja

84,30 €

DESIGNING CDMA2000 SYSTEMS

Leonhard Korowajczuk; Bruno de Souza Abreu Xavier; Arlindo Villaschi Filho; Leila Zurba Ribeiro; Cristine Korowajczuk; DaSi
John Wiley & Sons Inc (2004)
Kovakantinen kirja

185,60 €

GRAPH TRANSFORMATIONS - THIRD INTERNATIONAL CONFERENCE, ICGT 2006, RIO GRANDE DO NORTE, BRAZIL, SEPTEMBER 17-23, 2006, PROCEEDIN

Andrea Corradini; Hartmut Ehrig; Ugo Montanari; Leila Ribeiro; Grzegorz Rozenberg
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2006)
Pehmeäkantinen kirja

49,60 €

FORMAL METHODS TEACHING - 6TH FORMAL METHODS TEACHING WORKSHOP, FMTEA 2024, MILAN, ITALY, SEPTEMBER 10, 2024, PROCEEDINGS

Emil Sekerinski; Leila Ribeiro
Springer International Publishing AG (2024)
Pehmeäkantinen kirja

38,00 €

Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceed

Leila Ribeiro, Thierry Lecomte

49,60 €

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

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.
The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus