Catalogo Collettivo

	Ricerca semplice
	Ricerca avanzata
	Ricerche mirate:
	Libro moderno
	Libro antico
	Collezione
	Periodico
	Risorsa integrativa
	Risorsa analitica
	Materiale audio
	Materiale cartografico
	Materiale grafico
	Materiale manoscritto
	Materiale video
	Voci di autorità

Servizi

Internet Delivery System

Biblioteche partecipanti

	Suddivisione per:
	Regione
	Nome
	Codice

Facility

	Ricerche effettuate
	Statistiche d'accesso
	Accessi al sito

	Ricerca: Codice identificativo = IT/ItRC/00331909
Lista sintetica

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]

Tipo autore:	Ente
Nome autore:	U. S. Navy. Office of Naval Research
Lingua:	Inglese
Nazione:	Stati Uniti d'America
Forma variante:	U. S. Navy. ONR
Registrazione n°:	IT/ItRC/AUTHA/00003841
	data di creazione: 07-05-2014 data di aggiornamento: 07-05-2014