Program Development by Refinement: Case Studies Using the B Method - Formal Approaches to Computing and Information Technology (FACIT) - Kaisa Sere - Libros - Springer London Ltd - 9781852330538 - 23 de octubre de 1998
En caso de que portada y título no coincidan, el título será el correcto

Kaisa Sere
Program Development by Refinement: Case Studies Using the B Method - Formal Approaches to Computing and Information Technology (FACIT) 1999 edition

Precio
Mex$ 3.650
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de abr. - 5 de may.

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

The Idea of Program Refinement Programs are complex. An approach, advocated for a long time, is to separate a concise specification of a program - the "what" - from a possibly involved implementation - the "how". Yet the specification of the graphical layout is secondary compared to the specification of the possible transactions.

364 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 23 de octubre de 1998
ISBN13 9781852330538
Editores Springer London Ltd
Páginas 364
Dimensiones 155 × 235 × 19 mm   ·   530 g
Lengua Inglés  
Editor Sekerinski, Emil
Editor Sere, Kaisa

Ver todo de Kaisa Sere ( Ej. Paperback Book )