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

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

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

Tekijä: Willem-Paul de Roever (ed.); Hans Langmaack (ed.); Amir Pnueli (ed.)
Kustantaja: Springer (1998)
Saatavuus: Noin 17-20 arkipäivää

EUR 97,90

CURRENT TRENDS IN CONCURRENCY : OVERVIEWS AND TUTORIALS

Tekijä: Jacobus W. De Bakker (ed.); Willem-Paul De Roever (ed.); Grzegorz Rozenberg (ed.)
Kustantaja: Springer (1986)
Saatavuus: Noin 17-20 arkipäivää

EUR 97,90

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

Tekijä: Hans Langmaack (ed.); Willem-Paul de Roever (ed.); Jan Vytopil (ed.)
Kustantaja: Springer (1994)
Saatavuus: Noin 17-20 arkipäivää

EUR 97,90

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

Tekijä: Jaco W. de Bakker (ed.); Willem-Paul de Roever (ed.); Grzegorz Rozenberg (ed.)
Kustantaja: Springer (1990)
Saatavuus: Noin 17-20 arkipäivää

EUR 97,90

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 : 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

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

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

Tekijä: David Gries (ed.); Willem-Paul de Roever (ed.)
Kustantaja: Springer (2013)
Saatavuus: Noin 17-20 arkipäivää

EUR 172,80

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