KIRJAUDU

ostoskori

avaa valikko

Einar Broch Johnsen | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 12 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 LOGIC OF SOFTWARE. A TASTING MENU OF FORMAL METHODS - ESSAYS DEDICATED TO REINER HÄHNLE ON THE OCCASION OF HIS 60TH BIRTHDAY

Wolfgang Ahrendt; Bernhard Beckert; Richard Bubel; Einar Broch Johnsen
Springer International Publishing AG (2022)
Pehmeäkantinen kirja

101,40 €

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

51,40 €

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

51,40 €

SERVICE-ORIENTED AND CLOUD COMPUTING - 5TH IFIP WG 2.14 EUROPEAN CONFERENCE, ESOCC 2016, VIENNA, AUSTRIA, SEPTEMBER 5-7, 2016, P

Marco Aiello; Einar Broch Johnsen; Schahram Dustdar; Ilche Georgievski
Springer International Publishing AG (2016)
Pehmeäkantinen kirja

51,40 €

SERVICE-ORIENTED AND CLOUD COMPUTING - 6TH IFIP WG 2.14 EUROPEAN CONFERENCE, ESOCC 2017, OSLO, NORWAY, SEPTEMBER 27-29, 2017, PR

Flavio De Paoli; Stefan Schulte; Einar Broch Johnsen
Springer International Publishing AG (2017)
Pehmeäkantinen kirja

51,40 €

INTEGRATED FORMAL METHODS - 10TH INTERNATIONAL CONFERENCE, IFM 2013, TURKU, FINLAND, JUNE 10-14, 2013, PROCEEDINGS

Einar Broch Johnsen; Luigia Petre
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja

51,40 €

SOFTWARE ENGINEERING AND FORMAL METHODS - 16TH INTERNATIONAL CONFERENCE, SEFM 2018, HELD AS PART OF STAF 2018, TOULOUSE, FRANCE

Einar Broch Johnsen; Ina Schaefer
Springer International Publishing AG (2018)
Pehmeäkantinen kirja

51,40 €

FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING - 25TH INTERNATIONAL CONFERENCE, FASE 2022, HELD AS PART OF THE EUROPEAN JOINT CO

Einar Broch Johnsen; Manuel Wimmer
Springer Nature Switzerland AG (2022)
Pehmeäkantinen kirja

41,40 €

FORMAL METHODS FOR EXECUTABLE SOFTWARE MODELS - 14TH INTERNATIONAL SCHOOL ON FORMAL METHODS FOR THE DESIGN OF COMPUTER, COMMUNIC

Marco Bernardo; Ferruccio Damiani; Reiner Haehnle; Einar Broch Johnsen; Ina Schaefer
Springer International Publishing AG (2014)
Pehmeäkantinen kirja

51,40 €

FORMAL METHODS FOR MULTICORE PROGRAMMING - 15TH INTERNATIONAL SCHOOL ON FORMAL METHODS FOR THE DESIGN OF COMPUTER, COMMUNICATION

Marco Bernardo; Einar Broch Johnsen
Springer International Publishing AG (2015)
Pehmeäkantinen kirja

49,40 €

TESTS AND PROOFS - 11TH INTERNATIONAL CONFERENCE, TAP 2017, HELD AS PART OF STAF 2017, MARBURG, GERMANY, JULY 19–20, 2017, PROCE

Sebastian Gabmeyer; Einar Broch Johnsen
Springer International Publishing AG (2017)
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 4-5 viikossa

Myymäläsaatavuus