Bücher nach ISBN > LAP LAMBERT Academic Publishing > Pierre-Loïc Garoche

Pierre-Loïc Garoche

L.G. · P.G.

TitelISBN-13
(ISBN-10)		Erscheinungsjahr
Static Analysis of Actors by Abstract Interpretation: Applying Abstract Interpretation to an Higher Order Process Calculus978-3-8433-8954-9
(3-8433-8954-3)		2010

Pierre Loisier