Program Development by Refinement: Case Studies Using the B Method - Formal Approaches to Computing and Information Technology (FACIT) - Kaisa Sere - Boeken - Springer London Ltd - 9781852330538 - 23 oktober 1998
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 186,99

Besteld in een afgelegen magazijn

Verwachte levering 4 - 12 jun.

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

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 Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 23 oktober 1998
ISBN13 9781852330538
Uitgevers Springer London Ltd
Pagina's 364
Afmetingen 155 × 235 × 19 mm   ·   530 g
Taal en grammatica Engels  
Uitgever Sekerinski, Emil
Uitgever Sere, Kaisa

Bekijk alles van Kaisa Sere ( bijv. Paperback Book )