Willem-Paul de Roever (ed.) | Akateeminen Kirjakauppa

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

COMPOSITIONALITY: THE SIGNIFICANT DIFFERENCE : INTERNATIONAL SYMPOSIUM, COMPOS’97 BAD MALENTE, GERMANY, SEPTEMBER 8–12, 1997 REV

Willem-Paul de Roever (ed.); Hans Langmaack (ed.); Amir Pnueli (ed.)
Springer (1998)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

97,90 €

CURRENT TRENDS IN CONCURRENCY : OVERVIEWS AND TUTORIALS

Jacobus W. De Bakker (ed.); Willem-Paul De Roever (ed.); Grzegorz Rozenberg (ed.)
Springer (1986)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

97,90 €

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

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

49,60 €

FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS : THIRD INTERNATIONAL SYMPOSIUM ORGANIZED JOINTLY WITH THE WORKING GRO

Hans Langmaack (ed.); Willem-Paul de Roever (ed.); Jan Vytopil (ed.)
Springer (1994)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

97,90 €

STEPWISE REFINEMENT OF DISTRIBUTED SYSTEMS : MODELS, FORMALISMS, CORRECTNESS. REX WORKSHOP, MOOK, THE NETHERLANDS, MAY 29 - JUNE

Jaco W. de Bakker (ed.); Willem-Paul de Roever (ed.); Grzegorz Rozenberg (ed.)
Springer (1990)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

97,90 €

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 (ed.); Marcello M. Bonsangue (ed.); Susanne Graf (ed.); Willem-Paul de Roever (ed.)
Springer (2005)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

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 : 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 : 6TH INTERNATIONAL SYMPOSIUM, FMCO 2007, AMSTERDAM, THE NETHERLANDS, OCTOBER 24-26, 2

Marcello M. Bonsangue (ed.); Susanne Graf (ed.); Willem-Paul de Roever (ed.)
Springer (2008)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

PROGRAMMING CONCEPTS AND METHODS PROCOMET ’98 : IFIP TC2 / WG2.2, 2.3 INTERNATIONAL CONFERENCE ON PROGRAMMING CONCEPTS AND METHO

David Gries (ed.); Willem-Paul de Roever (ed.)
Springer (2013)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

172,80 €

Hae lisää...

Compositionality: The Significant Difference : International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Rev

Willem-Paul de Roever (ed.), Hans Langmaack (ed.), Amir Pnueli (ed.)

97,90 €

Springer
Sivumäärä: 647 sivua
Asu: Pehmeäkantinen kirja
Painos: 1998
Julkaisuvuosi: 1998, 18.12.1998 (lisätietoa)
Kieli: Englanti

This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reasoning about concurrency. The book is a valuable reference for researchers and professionals interested in formal systems design and analysis; it also is well suited for self study and use in advanced courses.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä

Myymäläsaatavuus