Program Transformation for Development, Verification, and Synthesis of Programs (Articolo in rivista)

Type
Label
  • Program Transformation for Development, Verification, and Synthesis of Programs (Articolo in rivista) (literal)
Anno
  • 2011-01-01T00:00:00+01:00 (literal)
Alternative label
  • Fioravanti, F.; Pettorossi, A.; Proietti, M.; Senni, V. (2011)
    Program Transformation for Development, Verification, and Synthesis of Programs
    in Intelligenza Artificiale; IOS Press, Amsterdam (Paesi Bassi)
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Fioravanti, F.; Pettorossi, A.; Proietti, M.; Senni, V. (literal)
Pagina inizio
  • 119 (literal)
Pagina fine
  • 125 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume
  • Il Milione: A Journey in the Computational Logic in Italy (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 5 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana
  • 487 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Univ. Chieti-Pescara; Univ. Roma Tor Vergata; IASI-CNR; Univ. Roma Tor Vergata (literal)
Titolo
  • Program Transformation for Development, Verification, and Synthesis of Programs (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#curatoriVolume
  • Matteo Baldoni; Cristina Baroglio (literal)
Editore
Prodotto di
Autore CNR

Incoming links:


Autore CNR di
Prodotto
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
Editore di
data.CNR.it