Skip to content

NovaLib

Sample Page
library

NovaLib

Sample Page

Library / Author / Ludovic Henrio

Books by author

Ludovic Henrio

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

2010 · ENGLISH · PDF

View details →

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

2010 · ENGLISH · PDF

View details →

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

2010 · ENGLISH · PDF

View details →

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

2010 · ENGLISH · PDF

View details →

A Theory of Distributed Objects

A Theory of Distributed Objects

2005 · ENGLISH · PDF

View details →

Theory of Distributed Objects: A Practical Framework for Reasoning about Asynchronous Communications, Determinism, Mobility, and Components

Theory of Distributed Objects: A Practical Framework for Reasoning about Asynchronous Communications, Determinism, Mobility, and Components

2005 · ENGLISH · PDF

View details →

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme