Ferruccio Damiani | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 7 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 €

COORDINATION MODELS AND LANGUAGES - 23RD IFIP WG 6.1 INTERNATIONAL CONFERENCE, COORDINATION 2021, HELD AS PART OF THE 16TH INTER

Ferruccio Damiani; Ornela Dardha
Springer Nature Switzerland AG (2021)
Pehmeäkantinen kirja

51,40 €

TYPES FOR PROOFS AND PROGRAMS - INTERNATIONAL WORKSHOP, TYPES 2003, TORINO, ITALY, APRIL 30 - MAY 4, 2003, REVISED SELECTED PAPE

Stefano Berardi; Mario Coppo; Ferruccio Damiani
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2004)
Pehmeäkantinen kirja

51,40 €

TYPES FOR PROOFS AND PROGRAMS - INTERNATIONAL CONFERENCE, TYPES 2008 TORINO, ITALY, MARCH 26-29, 2008 REVISED SELECTED PAPERS

Stefano Berardi; Ferruccio Damiani; Ugo de Liguoro
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Pehmeäkantinen kirja

51,40 €

FORMAL VERIFICATION OF OBJECT-ORIENTED SOFTWARE - INTERNATIONAL CONFERENCE, FOVEOO 2011, TURIN, ITALY, OCTOBER 5-7, 2011, REVISE

Bernhard Beckert; Ferruccio Damiani; Dilian Gurov
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2012)
Pehmeäkantinen kirja

47,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 €

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 €

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