03058nam0 2200397 i 450 BVEE03529220170908093217.0m,i- a.li c-r, Crse (3) 1609 (R)fei20130717d1609 ||||0itac50 balatitz01i xxxe z01nDe. particula ex. pretioso et. viuifico. ligno Sacratissimae. Crucis Saluatoris. Iesu. Christi desumpta sacris. imaginibus. et. elogiis eodem ligno incisis insignita, et in Apostolico Sacrario asseruata commentarius, a F. Angelo Rocca Camerte, Augustiniano, ... conscriptusRomaeapud Guillelmum Facciottum1609\16!, 55, \9! p.ill.4ºTesto in corniceSegn.: âœâ´bâ´A-Hâ´ Bianco il verso delle carte del fasc. b.1 v. (Sul front. timbro RB)IT-NA0079, V.F. 4 C 461 v. (in v. misc. - Sul frontespizio, timbro: "SPBCN" (Sacri Palatii Bibliotheca Crucis Neapolis)IT-NA0079, V.F. 4 C 46Possessore: *Convento di Santa Croce di Palazzo <Napoli>. IT-NA0079 V.F. 154 H 36/(0003ITRomaLO1L002924Rocca, Angelo <1545-1620>SBLV138740070744039Facciotti, GuglielmoBVEV042787650Convento di Santa Croce di Palazzo <Napoli>NAPP000671390IT-NA0079 V.F. 154 H 36/(0003Facciotto, GuglielmoIEIV049755Facciotti, GuglielmoITIT-NA007920130717IT-NA0079Biblioteca Nazionale Vittorio Emanuele IIINA00792 esemplariShttp://books.google.com/books?vid=IBNN:BN000619184 | http://books.google.com/books?vid=IBNN:BNVA1001544732BVEE035292Biblioteca Nazionale Vittorio Emanuele III1 v. BNV.F. 4 C 46 BN 0006191845 B 1 v. (Sul front. timbro RB)C 2013071720130717Sul front. timbro RBTimbri storici della biblioteca proprietaria1 v. misc. BNV.F. 154 H 36 BNVA10015447325 B (0003 1 v. (in v. misc. - Sul frontespizio, timbro: "SPBCN" (Sacri Palatii Bibliotheca Crucis Neapolis)C 2014102120141021Sul frontespizio, timbro: "SPBCN" (Sacri Palatii Bibliotheca Crucis Neapolis)Timbri conventuali e di ordini religiosiBiblioteca Nazionale Vittorio Emanuele III1 BN 000619184http://books.google.com/books?vid=IBNN:BN000619184 BNV.F. 4 C 461 BNVA1001544732http://books.google.com/books?vid=IBNN:BNVA1001544732 BNV.F. 154 H 36 BNDe. particula ex. pretioso et. viuifico. ligno Sacratissimae. Crucis Saluatoris. Iesu. Christi desumpta sacris. imaginibus. et. elogiis eodem ligno incisis insignita, et in Apostolico Sacrario asseruata commentarius, a F. Angelo Rocca Camerte, Augustiniano, ... conscriptus1481099UNISANNIO01475nam 2200457 450 99646440200331620220707221606.03-030-88885-1(CKB)5100000000044199(MiAaPQ)EBC6768758(Au-PeEL)EBL6768758(OCoLC)1281956231(PPN)258296186(EXLCZ)99510000000004419920220707d2021 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierAutomated technology for verification and analysis 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-21, 2021, proceedings /Zhe Hou, Vijay Ganesh (editors)Cham, Switzerland :Springer,[2021]©20211 online resource (384 pages)Lecture Notes in Computer Science ;129713-030-88884-3 Lecture notes in computer science ;12971.Automatic theorem provingCongressesComputer logicCongressesAutomatic theorem provingComputer logic004.015113Hou ZheGanesh VijayMiAaPQMiAaPQMiAaPQBOOK996464402003316Automated Technology for Verification and Analysis772478UNISA