|
scheda bibliografica validata  |
| Tipo: |
Testo a stampa, Monografia |
| Autore principale: |
ARO/AFOSR/ONR Workshop Increasing the Practical Impact of Formal Methods for Computer-aided Software Development: Software Slicing, Merging and Integration (1993 ; Monterey)  scheda di autorità |
| Titolo: |
Proceedings of the ARO/AFOSR/ONR Workshop Increasing the Practical Impact of Formal Methods for Computer-aided Software Development : software slicing, merging and integration : October 13-15, 1993 U.S. Naval Postgraduate School, Monterey California / sponsored by Army Research Office, Air Force Office of Scientific Research, Office of Naval Research, Naval Postgraduate School ; workshop chairman Valdis Berzins ; program committee chairs Luqi, Dave Dampier |
| Pubblicazione: |
[S.l. : s.n., 1993?] |
| Descrizione fisica: |
72 p. ; 30 cm |
| Titolo uniforme: |
Proceedings of the ARO/AFOSR/ONR Workshop Increasing the Practical Impact of Formal Methods for Computer-aided Software Development |
| Responsabilità secondarie: |
U.S. Army Research Office [Sponsor]
Air Force Office of Scientific Research [Sponsor]scheda di autorità
U. S. Navy. Office of Naval Research [Sponsor]scheda di autorità
Naval Postgraduate School (Monterey) [Ente di ricerca, Sponsor]
Berzins, Valdis Andris [Curatore]
 vedi tutte le altre responsabilità |
| Classificazione Dewey: |
005.3 ed.22 Programmi |
| Lingua della pubblicazione: |
Inglese |
| Paese di pubblicazione: |
Stati Uniti d'America |
| Codice identificativo: |
IT/ItRC/00331909 |
| data di creazione: |
09-11-2016 |
| data di aggiornamento: |
15-11-2016 |
 |
Copertina, frontespizio, indice |
Lista sintetica
CNR - Area della Ricerca di Genova Servizio di Documentazione Scientifica
SEI QUI: HOME
SCHEDA BIBLIOGRAFICA
