Program Development by Refinement: Case Studies Using the B Method - Formal Approaches to Computing and Information Technology (FACIT) - Kaisa Sere - Böcker - Springer London Ltd - 9781852330538 - 23 oktober 1998
Om omslag och titel inte matchar är det titeln som gäller

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

Pris
SEK 2.019

Beställningsvara

Förväntad leverans 17 - 25 jun

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
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öcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 23 oktober 1998
ISBN13 9781852330538
Utgivare Springer London Ltd
Antal sidor 364
Mått 155 × 235 × 19 mm   ·   530 g
Språk Engelska  
Redaktör Sekerinski, Emil
Redaktör Sere, Kaisa

Mere med samme udgiver

Se alt med Kaisa Sere ( t.ex. Pocketbok )