Alessandra Di Pierro – författare
Visar alla böcker från författaren Alessandra Di Pierro. Handla med fri frakt och snabb leverans.
6 produkter
From Lambda Calculus to Cybersecurity Through Program Analysis
Essays Dedicated to Chris Hankin on the Occasion of His Retirement
Av Alessandra Di Pierro, Pasquale Malacaria m. fl.
Häftad, 2020
552 kr
Lägg i varukorg
This Festschrift is in honor of Chris Hankin, Professor at the Imperial College in London, UK, on the Occasion of His 65th Birthday.Chris Hankin is a Fellow of the Institute for Security Science and Technology and a Professor of Computing Science.His research is in cyber security, data analytics …
From Lambda Calculus to Cybersecurity Through Program Analysis
Essays Dedicated to Chris Hankin on the Occasion of His Retirement
Av Rajagopal Nagarajan, Pasquale Malacaria m. fl.
E-bok, 2020
710 kr
Lägg i varukorg
This Festschrift is in honor of Chris Hankin, Professor at the Imperial College in London, UK, on the Occasion of His 65th Birthday. Chris Hankin is a Fellow of the Institute for Security Science and Technology and a Professor of Computing Science. His research is in cyber security, data analytics …
Formal Methods for Quantitative Aspects of Programming Languages
10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures
Av Alessandro Aldini, Marco Bernardo m. fl.
Häftad, 2010
564 kr
Lägg i varukorg
This volume presents the set of papers accompanying some of the lectures of the 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputerscience as a prominent approachto the …
Formal Methods for Quantitative Aspects of Programming Languages
10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures
Av Herbert Wiklicky, Alessandra Di Pierro m. fl.
E-bok, 2010
755 kr
Lägg i varukorg
Formal Methods for Dynamical Systems
13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Av Marco Bernardo, Erik de Vink m. fl.
Häftad, 2013
520 kr
Lägg i varukorg
This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2013, held in Bertinoro, Italy, in June 2013. SFM 2013 was devoted to dynamical systems and …
Formal Methods for Dynamical Systems
13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Av Herbert Wiklicky, Alessandra Di Pierro m. fl.
E-bok, 2013
652 kr
Lägg i varukorg
This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2013, held in Bertinoro, Italy, in June 2013. SFM 2013 was devoted to dynamical systems and …
