Ferruccio damiani u a (6 Ergebnisse)

Taschenbuch. Zustand: Neu. Formal Methods for Components and Objects | 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers | Bernhard Beckert (u. a.) | Taschenbuch | x | Englisch | 2013 | Springer | EAN 9783642358869 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergart…

Taschenbuch. Zustand: Neu. 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 | Ferruccio Damiani (u. a.) | Taschenbuch | Le…

Taschenbuch. Zustand: Neu. 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 | Marco Bernardo (u. a.) | Taschenbuch | Lecture Notes in Computer Science | viii…

Taschenbuch. Zustand: Neu. Types for Proofs and Programs | International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers | Stefano Berardi (u. a.) | Taschenbuch | Englisch | 2009 | Springer | EAN 9783642024436 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europ…

Taschenbuch. Zustand: Neu. Integrated Formal Methods | 20th International Conference, iFM 2025, Paris, France, November 19-21, 2025, Proceedings | Ferruccio Damiani (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxiii | Englisch | 2025 | Springer | EAN 9783032107930 | Verantwortliche Person für die EU: Springer Verl…

Taschenbuch. Zustand: Neu. Active Object Languages: Current Research Trends | Frank de Boer (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2024 | Springer | EAN 9783031510595 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springe…