Luis Soares Barbosa | Akateeminen Kirjakauppa

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

FORMAL ASPECTS OF COMPONENT SOFTWARE - 7TH INTERNATIONAL WORKSHOP, FACS 2010, GUIMARÃES, PORTUGAL, OCTOBER 14-16, 2010, REVISED

Luis Soares Barbosa; Markus Lumpe
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2012)
Pehmeäkantinen kirja

49,60 €

DYNAMIC LOGIC. NEW TRENDS AND APPLICATIONS - SECOND INTERNATIONAL WORKSHOP, DALÍ 2019, PORTO, PORTUGAL, OCTOBER 7–11, 2019, PROC

Luís Soares Barbosa; Alexandru Baltag
Springer Nature Switzerland AG (2020)
Pehmeäkantinen kirja

49,60 €

LANGUAGE ENGINEERING AND RIGOROUS SOFTWARE DEVELOPMENT - INTERNATIONAL LERNET ALFA SUMMER SCHOOL 2008, PIRIAPOLIS, URUGUAY, FEBR

Ana Bove; Luis Soares Barbosa; Alberto Pardo; Jorge Sousa Pinto
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Pehmeäkantinen kirja

49,60 €

PROGRAMMING LANGUAGES - 16TH BRAZILIAN SYMPOSIUM, SBLP 2012, NATAL, BRAZIL, SEPTEMBER 23-28, 2012, PROCEEDINGS

Francisco Heron de Carvalho Junior; Luis Soares Barbosa
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2012)
Pehmeäkantinen kirja

45,80 €

ARTIFICIAL INTELLIGENCE LOGIC AND APPLICATIONS : 4TH INTERNATIONAL CONFERENCE, AILA 2024, LANZHOU, CHINA, AUGUST 10–11, 2024, PR

Songmao Zhang (ed.); Luis Soares Barbosa (ed.)
Springer (2025)
Pehmeäkantinen kirja

73,70 €

Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised

Luis Soares Barbosa, Markus Lumpe

49,60 €

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

This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães, Portugal, in October 2010.
The 13 full papers and 4 short papers presented together with 1 panel discussion and 2 invited talks were carefully reviewed and selected from 37 submissions. The workshop seeks to develop a better understanding on how formal methods can or should be used for component-based software development to succeed.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus