Program Development by Refinement: Case Studies Using the B Method - Formal Approaches to Computing and Information Technology (FACIT) - Kaisa Sere - Knjige - Springer London Ltd - 9781852330538 - 23. oktobra 1998
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Cena
€ 184,99

Naročeno iz oddaljenega skladišča

Predvidena dobava 20. - 28. apr

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

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

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 23. oktobra 1998
ISBN13 9781852330538
Založniki Springer London Ltd
Strani 364
Dimenzije 155 × 235 × 19 mm   ·   530 g
Jezik Angleščina  
Urednik Sekerinski, Emil
Urednik Sere, Kaisa

Ogled vseh Kaisa Sere ( Na primer Paperback Book )