Specification and Transformation of Programs: A Formal Approach to Software Development - Monographs in Computer Science - Helmut A. Partsch - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540523567 - 5 de julio de 1990
En caso de que portada y título no coincidan, el título será el correcto

Helmut A. Partsch
Specification and Transformation of Programs: A Formal Approach to Software Development - Monographs in Computer Science 1990 edition

Precio
$ 54,49
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

"Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules.

493 pages, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 5 de julio de 1990
ISBN13 9783540523567
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 493
Dimensiones 178 × 254 × 28 mm   ·   1,11 kg
Lengua Inglés  

Mere med samme udgiver

Ver todo de Helmut A. Partsch ( Ej. Hardcover Book y Paperback Book )