Ergebnisse filtern
Fachgebiet
Medium
  • 8
  • 7
Erscheinungsjahr
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
Autoren
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 15
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
Verlag
  • 11
  • 4
Preis
  • 2
  • 13
Sprachen
  • 15
Verfügbarkeit
  • 15
Katalog
  • 15
15  Treffer  für „Damiani, Ferruccio“
    Damiani / Farrell | Integrated Formal Methods | eBook | Sack Fachmedien
    E-Book

    Damiani / Farrell Integrated Formal Methods

    20th International Conference, iFM 2025, Paris, France, November 19–21, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer International Publishing
    ISBN: 978-3-032-10794-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    69,54 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Damiani / Farrell | Integrated Formal Methods | Buch | Sack Fachmedien

    Damiani / Farrell Integrated Formal Methods

    20th International Conference, iFM 2025, Paris, France, November 19-21, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-10793-0
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Damiani / Dardha | Coordination Models and Languages | Buch | Sack Fachmedien

    Damiani / Dardha Coordination Models and Languages

    23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-78141-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Damiani / Dardha | Coordination Models and Languages | eBook | Sack Fachmedien
    E-Book

    Damiani / Dardha Coordination Models and Languages

    23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-78142-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Beckert / Damiani / Gurov | Formal Verification of Object-Oriented Software | eBook | Sack Fachmedien
    E-Book

    Beckert / Damiani / Gurov Formal Verification of Object-Oriented Software

    International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-31762-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    48,14 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Beckert / Damiani / Gurov | Formal Verification of Object-Oriented Software | Buch | Sack Fachmedien

    Beckert / Damiani / Gurov Formal Verification of Object-Oriented Software

    International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31761-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berardi / Coppo / Damiani | Types for Proofs and Programs | Buch | Sack Fachmedien

    Berardi / Coppo / Damiani Types for Proofs and Programs

    International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22164-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berardi / Coppo / Damiani | Types for Proofs and Programs | eBook | Sack Fachmedien
    E-Book

    Berardi / Coppo / Damiani Types for Proofs and Programs

    International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
    Erscheinungsjahr 2004
    Verlag: Springer
    ISBN: 978-3-540-24849-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Berardi / Damiani / de Liguoro | Types for Proofs and Programs | Buch | Sack Fachmedien

    Berardi / Damiani / de Liguoro Types for Proofs and Programs

    International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02443-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bernardo / Damiani / Haehnle | Formal Methods for Executable Software Models | eBook | Sack Fachmedien
    E-Book

    Bernardo / Damiani / Haehnle Formal Methods for Executable Software Models

    14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
    Erscheinungsjahr 2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-07317-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bernardo / Damiani / Haehnle | Formal Methods for Executable Software Models | Buch | Sack Fachmedien

    Bernardo / Damiani / Haehnle Formal Methods for Executable Software Models

    14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-07316-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beckert / Damiani / de Boer | Formal Methods for Components and Objects | eBook | Sack Fachmedien
    E-Book

    Beckert / Damiani / de Boer Formal Methods for Components and Objects

    10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-35887-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Beckert / Damiani / de Boer | Formal Methods for Components and Objects | Buch | Sack Fachmedien

    Beckert / Damiani / de Boer Formal Methods for Components and Objects

    10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-35886-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Boer / Damiani / Hähnle | Active Object Languages: Current Research Trends | eBook | Sack Fachmedien
    E-Book

    de Boer / Damiani / Hähnle Active Object Languages: Current Research Trends

    Erscheinungsjahr 2024
    Verlag: Springer International Publishing
    ISBN: 978-3-031-51060-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    80,24 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    de Boer / Damiani / Hähnle | Active Object Languages: Current Research Trends | Buch | Sack Fachmedien

    de Boer / Damiani / Hähnle Active Object Languages: Current Research Trends

    2024
    Verlag: Springer
    ISBN: 978-3-031-51059-5
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular