Applying Formal Methods to Software Engineering: Using Z to Specify the Launch Interceptor Program (Rapporti progetti di ricerca)

Type
Label
  • Applying Formal Methods to Software Engineering: Using Z to Specify the Launch Interceptor Program (Rapporti progetti di ricerca) (literal)
Anno
  • 1990-01-01T00:00:00+01:00 (literal)
Alternative label
  • J.- Y. Lu, G. Dettori, S.- K. Chin (1990)
    Applying Formal Methods to Software Engineering: Using Z to Specify the Launch Interceptor Program
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • J.- Y. Lu, G. Dettori, S.- K. Chin (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni
  • CASE Center Tech. Rep. n. 9015, Syracuse, NY, USA. Lavoro svolto nell'ambito del progetto Bilaterale CNR - NSF (USA), \"Un linguaggio di programmazione di ordine superiore di tipo funzionale/relazionale\", insieme al Dr. S.- K. Chin del CASE Center dell'Università di Syracuse, NY, USA (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • University of Syracuse, USA; IMA-CNR (literal)
Titolo
  • Applying Formal Methods to Software Engineering: Using Z to Specify the Launch Interceptor Program (literal)
Autore CNR
Insieme di parole chiave

Incoming links:


Autore CNR di
Insieme di parole chiave di
data.CNR.it