KIRJAUDU

ostoskori

avaa valikko

Marcello M. Bonsangue | Akateeminen Kirjakauppa

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

FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS - 9TH IFIP WG 6.1 INTERNATIONAL CONFERENCE, FMOODS 2007, PAPHOS, CYPRUS

Marcello M. Bonsangue; Einar Broch Johnsen
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja

49,60 €

FORMAL METHODS FOR COMPONENTS AND OBJECTS - 6TH INTERNATIONAL SYMPOSIUM, FMCO 2007, AMSTERDAM, THE NETHERLANDS, OCTOBER 24-26, 2

Marcello M. Bonsangue; Susanne Graf; Willem-Paul de Roever
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Pehmeäkantinen kirja

49,60 €

FORMAL METHODS FOR COMPONENTS AND OBJECTS - 7TH INTERNATIONAL SYMPOSIUM, FMCO 2008, SOPHIA ANTIPOLIS, FRANCE, OCTOBER 21-23, 200

Marcello M. Bonsangue; Eric Madelaine
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Pehmeäkantinen kirja

49,60 €

COALGEBRAIC METHODS IN COMPUTER SCIENCE - 12TH IFIP WG 1.3 INTERNATIONAL WORKSHOP, CMCS 2014, COLOCATED WITH ETAPS 2014, GRENOB

Marcello M. Bonsangue
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2014)
Pehmeäkantinen kirja

47,70 €

FORMAL METHODS FOR COMPONENTS AND OBJECTS - 5TH INTERNATIONAL SYMPOSIUM, FMCO 2006, AMSTERDAM, NETHERLANDS, NOVEMBER 7-10,2006,

Frank S. de Boer; Marcello M. Bonsangue; Susanne Graf; Willem-Paul de Roever
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja

49,60 €

FORMAL METHODS FOR COMPONENTS AND OBJECTS : SECOND INTERNATIONAL SYMPOSIUM, FMCO 2003, LEIDEN, THE NETHERLANDS, NOVEMBER 4-7, 20

Frank S. de Boer (ed.); Marcello M. Bonsangue (ed.); Susanne Graf (ed.); Willem-Paul de Roever (ed.)
Springer (2004)
Pehmeäkantinen kirja

49,60 €

FORMAL METHODS FOR COMPONENTS AND OBJECTS : 4TH INTERNATIONAL SYMPOSIUM, FMCO 2005, AMSTERDAM, THE NETHERLANDS, NOVEMBER 1-4, 20

Frank S. de Boer (ed.); Marcello M. Bonsangue (ed.); Susanne Graf (ed.); Willem-Paul de Roever (ed.)
Springer (2006)
Pehmeäkantinen kirja

49,60 €

FORMAL METHODS FOR COMPONENTS AND OBJECTS - THIRD INTERNATIONAL SYMPOSIUM, FMCO 2004, LEIDEN, THE NETHERLANDS, NOVEMBER 2-5, 200

Frank S. de Boer; Marcello M. Bonsangue; Susanne Graf; Willem-Paul de Roever
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2005)
Pehmeäkantinen kirja

49,60 €

FORMAL METHODS FOR COMPONENTS AND OBJECTS - 8TH INTERNATIONAL SYMPOSIUM, FMCO 2009, EINDHOVEN, THE NETHERLANDS, NOVEMBER 4-6, 20

Frank S. de Boer; Marcello M. Bonsangue; Stefan Hallerstede; Michael Leuschel
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2011)
Pehmeäkantinen kirja

49,60 €

FORMAL METHODS FOR COMPONENTS AND OBJECTS - 9TH INTERNATIONAL SYMPOSIUM, FMCO 2010, GRAZ, AUSTRIA, NOVEMBER 29 - DECEMBER 1, 201

Bernhard K. Aichernig; Frank S. de Boer; Marcello M. Bonsangue
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2011)
Pehmeäkantinen kirja

49,60 €

FORMAL METHODS FOR COMPONENTS AND OBJECTS - 10TH INTERNATIONAL SYMPOSIUM, FMCO 2011, TURIN, ITALY, OCTOBER 3-5, 2011, REVISED SE

Bernhard Beckert; Ferruccio Damiani; Frank S. de Boer; Marcello M. Bonsangue
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja

49,60 €

FORMAL METHODS FOR COMPONENTS AND OBJECTS - 11TH INTERNATIONAL SYMPOSIUM, FMCO 2012, BERTINORO, ITALY, SEPTEMBER 24-28, 2012, RE

Elena Giachino; Reiner Hähnle; Frank S. de Boer; Marcello M. Bonsangue
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja

45,80 €

DATA SCIENCE AND ARTIFICIAL INTELLIGENCE : FIRST INTERNATIONAL CONFERENCE, DSAI 2023, BANGKOK, THAILAND, NOVEMBER 27–29, 2023, P

Chutiporn Anutariya (ed.); Marcello M. Bonsangue (ed.)
Springer (2023)
Pehmeäkantinen kirja

107,50 €

DATA SCIENCE AND ARTIFICIAL INTELLIGENCE : SECOND INTERNATIONAL CONFERENCE, DSAI 2024, MEDAN, INDONESIA, NOVEMBER 13–15, 2024, P

Chutiporn Anutariya (ed.); Marcello M. Bonsangue (ed.); Erna Budhiarti-Nababan (ed.); Opim Salim Sitompul (ed.)
Springer (2024)
Pehmeäkantinen kirja

73,70 €

THEORETICAL ASPECTS OF COMPUTING – ICTAC 2024 : 21ST INTERNATIONAL COLLOQUIUM, BANGKOK, THAILAND, NOVEMBER 25–29, 2024, PROCEEDI

Chutiporn Anutariya (ed.); Marcello M. Bonsangue (ed.)
Springer (2024)
Pehmeäkantinen kirja

72,80 €

Hae lisää...

Formal Methods for Open Object-Based Distributed Systems - 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus

Marcello M. Bonsangue, Einar Broch Johnsen

49,60 €

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

This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus, June 2007. The 17 revised full papers presented together with two invited papers cover model checking rewriting logic components and services algebraic calculi specification, verification and refinement, and quality of service.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 5-6 viikossa. Tilaa tuote jouluksi viimeistään 13.11.2024

Myymäläsaatavuus