Ferruccio Damiani - Böcker

Visar alla böcker från författaren Ferruccio Damiani.
7 produkter
Ferruccio Damiani, Ornela Dardha - Coordination Models and Languages, Häftad

Coordination Models and Languages

Av Ferruccio Damiani, Ornela Dardha

Häftad, Engelska, 2021

739 kr

Skickas inom 7-10 vardagar
Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan, Reiner Hahnle - Active Object Languages: Current Research Trends, Häftad
Del 14360 - Lecture Notes in Computer Science

Active Object Languages: Current Research Trends

Av Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan, Reiner Hahnle

Häftad, Engelska, 2024

1 049 kr

Skickas inom 7-10 vardagar
Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer - Formal Methods for Executable Software Models, Häftad

Formal Methods for Executable Software Models

Av Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer

Häftad, Engelska, 2014

739 kr

Skickas inom 7-10 vardagar
Stefano Berardi, Mario Coppo, Ferruccio Damiani - Types for Proofs and Programs, Häftad
Del 3085 - Lecture Notes in Computer Science

Types for Proofs and Programs

Av Stefano Berardi, Mario Coppo, Ferruccio Damiani

Häftad, Engelska, 2004

739 kr

Skickas inom 7-10 vardagar
Stefano Berardi, Ferruccio Damiani, Ugo de Liguoro, Ugo De Liguoro - Types for Proofs and Programs, Häftad

Types for Proofs and Programs

Av Stefano Berardi, Ferruccio Damiani, Ugo de Liguoro, Ugo De Liguoro

Häftad, Engelska, 2009

739 kr

Skickas inom 7-10 vardagar
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov - Formal Verification of Object-Oriented Software, Häftad

Formal Verification of Object-Oriented Software

Av Bernhard Beckert, Ferruccio Damiani, Dilian Gurov

Häftad, Engelska, 2012

679 kr

Skickas inom 7-10 vardagar