KIRJAUDU

ostoskori

avaa valikko

Frank de Boer | Akateeminen Kirjakauppa

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

ACTIVE OBJECT LANGUAGES: CURRENT RESEARCH TRENDS

Frank de Boer (ed.); Ferruccio Damiani (ed.); Reiner Hähnle (ed.); Einar Broch Johnsen (ed.); Eduard Kamburjan (ed.)
Springer (2024)
Pehmeäkantinen kirja

67,40 €

THE ROLLATOR, MY BEST FRIEND? - SAFE AND COMFORTABLE ON THE ROAD

Frank De Boer; Rollator Doctor
America Star Books (2015)
Kovakantinen kirja

48,00 €

CONCURRENCY VERIFICATION: INTRODUCTION TO COMPOSITIONAL AND NON-COMPOSITIONAL METHODS

Willem-Paul de Roever; Frank de Boer; Ulrich Hanneman; Jozef Hooman; Yassine Lakhnech; Mannes Poel; Job Zwiers
Cambridge University Press (2012)
Pehmeäkantinen kirja

92,30 €

CONCURRENCY VERIFICATION: INTRODUCTION TO COMPOSITIONAL AND NON-COMPOSITIONAL METHODS

Willem-Paul de Roever; Frank de Boer; Ulrich Hanneman; Jozef Hooman; Yassine Lakhnech; Mannes Poel; Job Zwiers
Cambridge University Press (2001)
Kovakantinen kirja

253,80 €

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

51,40 €

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

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

51,40 €

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

51,40 €

FOSTERING LANGUAGE TEACHING EFFICIENCY THROUGH COGNITIVE LINGUISTICS

Sabine De Knop; Frank Boers; Antoon De Rycker
De Gruyter (2010)
Kovakantinen kirja

207,80 €

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

51,40 €

THE ROLLATOR, MY BEST FRIEND? - SAFE AND COMFORTABLE ON THE ROAD

De Boer; Rollator Doctor Frank
America Star Books (2015)
Pehmeäkantinen kirja

51,00 €

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

51,40 €

SOFTWARE ENGINEERING AND FORMAL METHODS - 18TH INTERNATIONAL CONFERENCE, SEFM 2020, AMSTERDAM, THE NETHERLANDS, SEPTEMBER 14–18,

Frank de Boer; Antonio Cerone
Springer Nature Switzerland AG (2020)
Pehmeäkantinen kirja

56,40 €

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

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

51,40 €

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

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

51,40 €

VERIFICATION OF SEQUENTIAL AND CONCURRENT PROGRAMS

Krzysztof R. Apt; Frank S. de Boer; Ernst-Rüdiger Olderog
Springer London Ltd (2009)
Kovakantinen kirja

101,40 €

VERIFICATION OF SEQUENTIAL AND CONCURRENT PROGRAMS

Krzysztof R. Apt; Frank S. De Boer; Ernst-R Diger Olderog
SPRINGER VERLAG GMBH (2009)
Pehmeäkantinen kirja

66,00 €

MICROELECTROMECHANICAL SYSTEMS - MATERIALS AND DEVICES IV: VOLUME 1299

Frank W. DelRio; Maarten P. de Boer; Christoph Eberl; Evgeni Gusev
Materials Research Society (2011)
Kovakantinen kirja

116,30 €

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

51,40 €

THEORETICAL COMPUTER SCIENCE - 7TH IFIP TC1/WG 2.2 INTERNATIONAL CONFERENCE, TCS 2012, AMSTERDAM, THE NETHERLANDS, SEPTEMBER 26-

Jos C.M. Baeten; Tom Ball; Frank S. de Boer
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2012)
Pehmeäkantinen kirja

51,40 €

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

51,40 €

Hae lisää...

Active Object Languages: Current Research Trends

Frank de Boer (ed.), Ferruccio Damiani (ed.), Reiner Hähnle (ed.), Einar Broch Johnsen (ed.), Eduard Kamburjan (ed.)

67,40 €

Springer
Sivumäärä: 375 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2024, 29.01.2024 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 14360

Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrency model. This renders active object languages to be well-suited for simulation, data race-free programming, and formal verification. Concepts from active objects made their way into languages such as Rust, ABS, Akka, JavaScript, and Go. This is the first comprehensive state-of-art overview on the subject, the invited contributions are written by experts in the areas of distributed systems, formal methods, and programming languages.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa

Myymäläsaatavuus