The proceedings from the May 1997 workshop focus on software engineering issues that are particular to the development of applications for parallel and distributed systems. Papers address issues of software verification and testing, software development techniques and tools, software design, reuse, and strategic directions of future research. Also included are project reports and applications. The papers are intended to maximize interaction and discussion among researchers working on application of formal methods, validation, testing, tools, design methodologies, and coordination architectures. Includes an author index only. Annotation c. by Book News, Inc., Portland, Or.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
EUR 65,75 per la spedizione da U.S.A. a Italia
Destinazione, tempi e costiDa: GuthrieBooks, Spring Branch, TX, U.S.A.
Paperback. Condizione: Very Good. Paperback. Very Good. Except for library markings, interior clean and unmarked. Tight binding. Codice articolo UTL52801
Quantità: 1 disponibili
Da: Mispah books, Redhill, SURRE, Regno Unito
Paperback. Condizione: Like New. Like NewLIKE NEW. book. Codice articolo ERICA83008186804313
Quantità: 1 disponibili