Conte aos seus amigos sobre este item:
Program Development by Refinement: Case Studies Using the B Method - Formal Approaches to Computing and Information Technology (FACIT) Kaisa Sere 1999 edition
Preço
€ 186,99
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 4 - 12 de jun
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Program Development by Refinement: Case Studies Using the B Method - Formal Approaches to Computing and Information Technology (FACIT)
Kaisa Sere
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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 23 de outubro de 1998 |
| ISBN13 | 9781852330538 |
| Editoras | Springer London Ltd |
| Páginas | 364 |
| Dimensões | 155 × 235 × 19 mm · 530 g |
| Idioma | Inglês |
| Editor | Sekerinski, Emil |
| Editor | Sere, Kaisa |
Ver tudo de Kaisa Sere ( por exemplo Paperback Book )