Ferruccio Damiani - Böcker

Visar alla böcker från författaren Ferruccio Damiani.
8 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 10-15 vardagar
Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan, Reiner Hahnle - Active Object Languages: Current Research Trends, Häftad

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 059 kr

Skickas inom 5-8 vardagar
  • Nyhet
Ferruccio Damiani, Marie Farrell - Integrated Formal Methods, Häftad

Integrated Formal Methods

Av Ferruccio Damiani, Marie Farrell

Häftad, Engelska, 2025

1 419 kr

Kommande
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 10-15 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 10-15 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 10-15 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 10-15 vardagar
Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue, Frank S. De Boer - Formal Methods for Components and Objects, Häftad

Formal Methods for Components and Objects

Av Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue, Frank S. De Boer

Häftad, Engelska, 2013

739 kr

Skickas inom 10-15 vardagar