Adenilso Simao | Akateeminen Kirjakauppa

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

FORMAL METHODS: FOUNDATIONS AND APPLICATIONS - 14TH BRAZILIAN SYMPOSIUM, SBMF 2011, SAO PAULO, SEPTEMBER 26-30 2011, PROCEEDINGS

Adenilso Simao; Carroll Morgan
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2011)
Pehmeäkantinen kirja

49,60 €

TESTING SOFTWARE AND SYSTEMS - 22ND IFIP WG 6.1 INTERNATIONAL CONFERENCE, ICTSS 2010, NATAL, BRAZIL, NOVEMBER 8-10, 2010, PROCEE

Alexandre Petrenko; Adenilso Simao; José Carlos Maldonado
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010)
Pehmeäkantinen kirja

49,60 €

FORMAL METHODS: FOUNDATIONS AND APPLICATIONS - 13TH BRAZILIAN SYMPOSIUM ON FORMAL METHODS, SBMF 2010, NATAL, BRAZIL, NOVEMBER 8-

Jim Davies; Leila Silva; Adenilso Simao
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2011)
Pehmeäkantinen kirja

49,60 €

THEORETICAL ASPECTS OF COMPUTING – ICTAC 2020 - 17TH INTERNATIONAL COLLOQUIUM, MACAU, CHINA, NOVEMBER 30 – DECEMBER 4, 2020, PRO

Violet Ka I Pun; Volker Stolz; Adenilso Simao
Springer Nature Switzerland AG (2020)
Pehmeäkantinen kirja

49,60 €

Formal Methods: Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings

Adenilso Simao, Carroll Morgan

49,60 €

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

This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 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 | Tilaa jouluksi viimeistään 27.11.2024

Myymäläsaatavuus