KIRJAUDU

ostoskori

avaa valikko

Marcello Bonsangue | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 16 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)
Saatavuus: Tilaustuote
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)
Saatavuus: Tilaustuote
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 (ed.); Eric Madelaine (ed.)
Springer (2009)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

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

Marcello M. Bonsangue (ed.)
Springer (2014)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

47,70 €

FORMAL METHODS FOR COMPONENTS AND OBJECTS : FIRST INTERNATIONAL SYMPOSIUM, FMCO 2002, LEIDEN, THE NETHERLANDS, NOVEMBER 5-8, 200

Frank S.de Boer (ed.); Marcello Bonsangue (ed.); Susanne Graf (ed.); Willem-Paul de Roever (ed.)
Springer (2003)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

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)
Saatavuus: Tilaustuote
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)
Saatavuus: Tilaustuote
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)
Saatavuus: Tilaustuote
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)
Saatavuus: Tilaustuote
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)
Saatavuus: Tilaustuote
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)
Saatavuus: Tilaustuote
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)
Saatavuus: Tilaustuote
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)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

45,80 €

THEORY AND PRACTICE OF FORMAL METHODS - ESSAYS DEDICATED TO FRANK DE BOER ON THE OCCASION OF HIS 60TH BIRTHDAY

Erika Ábrahám; Marcello Bonsangue; Einar Broch Johnsen
Springer International Publishing AG (2016)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

IT'S ALL ABOUT COORDINATION - ESSAYS TO CELEBRATE THE LIFELONG SCIENTIFIC ACHIEVEMENTS OF FARHAD ARBAB

Frank de Boer; Marcello Bonsangue; Jan Rutten
Springer International Publishing AG (2018)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

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)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

107,50 €

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
Julkaisuvuosi: 2007, 25.05.2007 (lisätietoa)
Kieli: Englanti

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 17-20 arkipäivässä

Myymäläsaatavuus