TPHOLs 2003
15,00 €
     
SINTESI
TPHOLs covers all aspects of theorem proving in higher order logics as well as related topics in hardware verification and synthesis, verification of security and communication protocols, software verification, transformation and refinement, compiler construction and refinement.Contributions by Hasan Amjad, A. Azurat, Yegor Bryukhov, Ashish Darbari, Frédéric Gava, Joni Helin, Steffen Helke, Jason Hickey, Michael Hohmuth, Jozef Hooman, Paul Jackson, Florian Kammüller, Pertti Kellomäki, Alexei Kopylov, Vladimir Krupski, Mohamed Layouni, Morton P. Lindegaard, Frédéric Loulerge, Aleksey Nogin, I.S.W.B. Prasetya, Tom Ridge, Mehrnoosh Sadrzadeh, S.D. Swierstra, Sofiene Tahar, Hendrik Tews, T.E.J. Vos, Xin Yu
pagine: 244
formato: 17 x 24
ISBN: 978-88-7999-546-7
data pubblicazione: Gennaio 2006
editore: Aracne
SINTESI
Informativa      Aracneeditrice.it si avvale di cookie, anche di terze parti, per offrirti il migliore servizio possibile. Cliccando 'Accetto' o continuando la navigazione ne acconsenti l'utilizzo. Per saperne di più
Accetto