Program Development by Refinement: Case Studies Using the B Method - Formal Approaches to Computing and Information Technology (FACIT) - Kaisa Sere - Bøker - Springer London Ltd - 9781852330538 - 23. oktober 1998
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
NOK 1.909

Bestillingsvarer

Forventes levert 3. - 11. jun

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

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 Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 23. oktober 1998
ISBN13 9781852330538
Utgivere Springer London Ltd
Antall sider 364
Mål 155 × 235 × 19 mm   ·   530 g
Språk Engelsk  
Redaktør Sekerinski, Emil
Redaktør Sere, Kaisa

Se alt med Kaisa Sere ( f.eks. Pocketbok )