Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report - Lecture Notes in Computer Science - Bernhard Mvller - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540574996 - 29 de noviembre de 1993
En caso de que portada y título no coincidan, el título será el correcto

Bernhard Mvller
Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report - Lecture Notes in Computer Science 1993 edition

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Development, heldin early 1992 near Rio de Janeiro, Brazil. Thus the core interests of the group are:- formal specification of solutions to problems, and- formal development/calculationof programs from suchspecifications.

375 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 29 de noviembre de 1993
ISBN13 9783540574996
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 375
Dimensiones 155 × 233 × 20 mm   ·   548 g
Lengua Alemán  
Editor Moeller, Bernhard
Editor Partsch, Helmut
Editor Schuman, Steve

Mere med samme udgiver

Ver todo de Bernhard Mvller ( Ej. Paperback Book )