Artículos relacionados a Formal Methods - Pacific 97: Proceedings of the FMP'97,...
Formal Methods - Pacific 97: Proceedings of the FMP'97, Wellington, New Zealand, 9-11 July 1997, Incorporating of the 6th Australian Refinement ... Mathematics and Theoretical Computer Science) - Tapa blanda
Sinopsis
Formal Methods Pacific '97 is an umbrella conference, incorporating the 6th Australasian Refinement Workshop and the 3rd New Zealand Formal Program Development Colloquium. The conference provided a forum for discussion of current research on mathematicallybased techniques for design and development of computer systems, especially formal and/or rigorous methods for developing executable programs from abstract specifications, tool support for formal software development, and practical experience with formal methods. Topics also include software specification and verification, hardware specification and verification, and specification and development of real-time and concurrent systems. The refereed papers included in these proceedings present significant contributions to current research in formal software development within Australasia, along with several contributions from other parts of the world. The conference also included informal presentations describing work in progress; abstracts only for these are included.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
Formal Methods Pacific '97 is an umbrella conference, incorporating the 6th Australasian Refinement Workshop and the 3rd New Zealand Formal Program Development Colloquium. The conference provided a forum for discussion of current research on mathematicallybased techniques for design and development of computer systems, especially formal and/or rigorous methods for developing executable programs from abstract specifications, tool support for formal software development, and practical experience with formal methods. Topics also include software specification and verification, hardware specification and verification, and specification and development of real-time and concurrent systems. The refereed papers included in these proceedings present significant contributions to current research in formal software development within Australasia, along with several contributions from other parts of the world. The conference also included informal presentations describing work in progress; abstracts only for these are included.
Reseña del editor
The refereed papers presented in this volume represent contributions to research in formal software developments within Australasia, along with several contributions from other parts of the world. The papers are taken from the Formal Methods Pacific Conference, 1997. The conference also included informal presentations describing work in progress, which are presented here in abstract form.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 35,88
EUR 15,01 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 24,12
EUR 10,21 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Formal Methods - Pacific 97: Proceedings of the FMP'97,...
Imagen de archivo
Formal Methods Pacific' 97
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 328. Nº de ref. del artículo: 4692277
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Methods Pacific' 97
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 328 1st Edition. Nº de ref. del artículo: 263155690
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Methods Pacific' 97
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 328. Nº de ref. del artículo: 183155680
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Methods - Pacific 97: Proceedings of the FMP'97, Wellington, New Zealand, 9-11 July 1997, Incorporating of the 6th Australian Refinement . Mathematics and Theoretical Computer Science)
Librería: Bookmonger.Ltd, HILLSIDE, NJ, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Paperback. Condición: Fine. Nº de ref. del artículo: mon0000412387
Cantidad disponible: 2 disponibles
Imagen de archivo
Formal Methods Pacific '97
Publicado por
Springer-Verlag, Singapore, 1997
ISBN 10: 981308331X
ISBN 13: 9789813083318
Antiguo o usado
Soft Cover
Librería: Book Booth, Berea, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Soft Cover. Condición: Good. 320pp. Illustrated. Text clean and bright, binding tight, scuffing/shelf wear to covers and edges. Proceedings of FMP '97, Wellington, NZ. Consists of 32 papers presented at the conference, pertaining to discrete mathematics and theoretical computer science. The focus is on mathematically-based techniques for design and development of computer systems, especially formal and rigorous methods for developing executable programs from abstract specifications, tool support for formal software development, and practical experience with formal methods. Topics also include software specification and verification, hardware specification and verification, and specification and development of real-time and concurrent systems. Nº de ref. del artículo: S5-000237
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Methods - Pacific 97: Proceedings of the FMP*97, Wellington, New Zealand, 9-11 July 1997, Incorporating of the 6th Australian Refinement . Mathematics and Theoretical Computer Science)
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Paperback. Condición: Like New. Like New. book. Nº de ref. del artículo: ERICA704981308331X5
Cantidad disponible: 1 disponibles