Program Development by Refinement: Case Studies Using the B Method - Formal Approaches to Computing and Information Technology (FACIT) - Kaisa Sere - Książki - Springer London Ltd - 9781852330538 - 23 października 1998
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 942,90

Zamówione z odległego magazynu

Przewidywana dostawa 7 - 21 sie
Otrzymuj powiadomienia o nowych wydawnictwach Kaisa Sere

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

Jeszcze nie oceniono

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

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 23 października 1998
ISBN13 9781852330538
Wydawcy Springer London Ltd
Strony 364
Wymiary 155 × 235 × 19 mm   ·   530 g
Język Angielski  
Redaktor Sekerinski, Emil
Redaktor Sere, Kaisa

Więcej od tego samego wydawcy

Zobacz wszystko od Kaisa Sere ( np. Paperback Book )