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
Congresso
Ente
Ruolo: Sponsor
Ruolo: Sponsor
Ente
Ruolo: Sponsor
Lingua: Inglese
Paese: Stati Uniti d'America
Ruolo: Sponsor
Lingua: Inglese
Paese: Stati Uniti d'America
Ente
Ruolo: Sponsor
Lingua: Inglese
Paese: Stati Uniti d'America
Ruolo: Sponsor
Lingua: Inglese
Paese: Stati Uniti d'America
Ente, Monterey
Ruolo: Ricercatore, Sponsor
Ruolo: Ricercatore, Sponsor
Persona
Ruolo: Curatore
Ruolo: Curatore
Persona
Ruolo: Curatore
Ruolo: Curatore
Persona
Ruolo: Curatore
Ruolo: Curatore
| # | Collocazione | Prestabile | Disponibilità | |
|---|---|---|---|---|
| ARGE1 (GE) - AREA | UTENZA: K.IV.3/23 | Si | Biblioteca |
