KIRJAUDU

ostoskori

avaa valikko

Marcello Bonsangue (ed.) | 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

Tekijä: Marcello M. Bonsangue (ed.); Einar Broch Johnsen (ed.)
Kustantaja: Springer (2007)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

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

Tekijä: Marcello M. Bonsangue (ed.); Susanne Graf (ed.); Willem-Paul de Roever (ed.)
Kustantaja: Springer (2008)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

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

Tekijä: Marcello M. Bonsangue (ed.); Eric Madelaine (ed.)
Kustantaja: Springer (2009)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

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

Tekijä: Marcello M. Bonsangue (ed.)
Kustantaja: Springer (2014)
Saatavuus: Noin 17-20 arkipäivää

EUR 47,70

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

Tekijä: Frank S. de Boer (ed.); Marcello M. Bonsangue (ed.); Susanne Graf (ed.); Willem-Paul de Roever (ed.)
Kustantaja: Springer (2007)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

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

Tekijä: Frank S. de Boer (ed.); Marcello M. Bonsangue (ed.); Susanne Graf (ed.); Willem-Paul de Roever (ed.)
Kustantaja: Springer (2004)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

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

Tekijä: Frank S. de Boer (ed.); Marcello M. Bonsangue (ed.); Susanne Graf (ed.); Willem-Paul de Roever (ed.)
Kustantaja: Springer (2006)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

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

Tekijä: Frank S. de Boer (ed.); Marcello M. Bonsangue (ed.); Susanne Graf (ed.); Willem-Paul de Roever (ed.)
Kustantaja: Springer (2005)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

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

Tekijä: Frank S. de Boer (ed.); Marcello M. Bonsangue (ed.); Stefan Hallerstede (ed.); Michael Leuschel (ed.)
Kustantaja: Springer (2011)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

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

Tekijä: Bernhard K. Aichernig (ed.); Frank S. de Boer (ed.); Marcello M. Bonsangue (ed.)
Kustantaja: Springer (2011)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

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

Tekijä: Bernhard Beckert (ed.); Ferruccio Damiani (ed.); Frank S. de Boer (ed.); Marcello M. Bonsangue (ed.)
Kustantaja: Springer (2013)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

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

Tekijä: Elena Giachino (ed.); Reiner Hähnle (ed.); Frank S. de Boer (ed.); Marcello M. Bonsangue (ed.)
Kustantaja: Springer (2013)
Saatavuus: Noin 17-20 arkipäivää

EUR 45,80

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

Tekijä: Frank S.de Boer (ed.); Marcello Bonsangue (ed.); Susanne Graf (ed.); Willem-Paul de Roever (ed.)
Kustantaja: Springer (2003)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

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

Tekijä: Frank de Boer (ed.); Marcello Bonsangue (ed.); Jan Rutten (ed.)
Kustantaja: Springer (2018)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

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

Tekijä: Chutiporn Anutariya (ed.); Marcello M. Bonsangue (ed.)
Kustantaja: Springer (2023)
Saatavuus: Noin 17-20 arkipäivää

EUR 107,50

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

Tekijä: Erika Ábrahám (ed.); Marcello Bonsangue (ed.); Einar Broch Johnsen (ed.)
Kustantaja: Springer (2016)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

Hae lisää...

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

Marcello M. Bonsangue (ed.), Einar Broch Johnsen (ed.)

49,60 €

Springer
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