KIRJAUDU

ostoskori

avaa valikko

José Fiadeiro | Akateeminen Kirjakauppa

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

FORMAL METHODS: FOUNDATIONS AND APPLICATIONS - 20TH BRAZILIAN SYMPOSIUM, SBMF 2017, RECIFE, BRAZIL, NOVEMBER 29 — DECEMBER 1, 20

Simone Cavalheiro; José Fiadeiro
Springer International Publishing AG (2017)
Pehmeäkantinen kirja

66,40 €

CATEGORIES FOR SOFTWARE ENGINEERING

Jose Luiz Fiadeiro
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2004)
Kovakantinen kirja

51,40 €

RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES - 18TH INTERNATIONAL WORKSHOP, WADT 2006, LA ROCHE EN ARDENNE, BELGIUM, JUNE 1

José Luiz Fiadeiro; Pierre-Yves Schobbens
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja

51,40 €

ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE - FIRST INTERNATIONAL CONFERENCE, CALCO 2005, SWANSEA, UK, SEPTEMBER 3-6, 2005, PROCEE

José Luis Fiadeiro; Neil Harman; Markus Roggenbach; Jan Rutten
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2005)
Pehmeäkantinen kirja

51,40 €

RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES - 17TH INTERNATIONAL WORKSHOP, WADT 2004, BARCELONA, SPAIN, MARCH 27-29, 2004,

José Luiz Fiadeiro; Peter Mosses; Fernando Orejas
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2005)
Pehmeäkantinen kirja

51,40 €

RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES - 13TH INTERNATIONAL WORKSHOP, WADT'98 LISBON, PORTUGAL, APRIL 2-4, 1998 SELEC

Jose L. Fiadeiro
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1999)
Pehmeäkantinen kirja

51,40 €

FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING - 11TH INTERNATIONAL CONFERENCE, FASE 2008, HELD AS PART OF THE JOINT EUROPEAN CO

José Fiadeiro; Paola Inverardi
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Pehmeäkantinen kirja

51,40 €

CATEGORIES FOR SOFTWARE ENGINEERING

Jose Luiz Fiadeiro
Springer (2010)
Pehmeäkantinen kirja

51,40 €

FORMAL ASPECTS OF COMPONENT SOFTWARE - 10TH INTERNATIONAL SYMPOSIUM, FACS 2013, NANCHANG, CHINA, OCTOBER 27-29, 2013, REVISED SE

José Luiz Fiadeiro; Zhiming Liu; Jinyun Xue
Springer International Publishing AG (2014)
Pehmeäkantinen kirja

51,40 €

RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES : 24TH IFIP WG 1.3 INTERNATIONAL WORKSHOP, WADT 2018, EGHAM, UK, JULY 2–5, 201

José Luiz Fiadeiro (ed.); Ionuț Țuțu (ed.)
Springer (2019)
Pehmeäkantinen kirja

51,40 €

BUSINESS PROCESS MANAGEMENT - 4TH INTERNATIONAL CONFERENCE, BPM 2006, VIENNA, AUSTRIA, SEPTEMBER 5-7, 2006, PROCEEDINGS

Schahram Dustdar; José Luiz Fiadeiro; Amit Sheth
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2006)
Pehmeäkantinen kirja

101,40 €

SOFTWARE DESIGN USING JAVA 2

Kevin Lano; Jose Luiz Fiadeiro; Luis Filipe De Andrade
Palgrave USA (2002)
Pehmeäkantinen kirja

134,40 €

Hae lisää...

Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 20

Simone Cavalheiro, José Fiadeiro

66,40 €

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

This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions. They are organized in the following topical sections: formal methods integration and experience reports; model checking; refinement and verification; and semantics and languages.
The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus