Pastāsti draugiem par šo preci:
Program Development by Refinement: Case Studies Using the B Method - Formal Approaches to Computing and Information Technology (FACIT) Kaisa Sere 1999 edition
Cena
€ 197,49
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 3. - 11. jūn.
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 1998. gada 23. oktobris |
| ISBN13 | 9781852330538 |
| Izdevēji | Springer London Ltd |
| Lapas | 364 |
| Izmēri | 155 × 235 × 19 mm · 530 g |
| Valoda | Angļu |
| Redaktors | Sekerinski, Emil |
| Redaktors | Sere, Kaisa |
Skatīt visus Kaisa Sere ( piem., Paperback Book )