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

Name: Program Development by Refinement: Case Studies Using the B Method - Formal Approaches to Computing and Information Technology (FACIT)
Price: 193.99 EUR
Availability: OutOfStock
Author: Kaisa Sere

Cena

€ 193,99

Objednané zo vzdialeného skladu

Očakávané doručenie 24. júl - 3. aug

Dostávajte upozornenia na nové nahrávky interpreta Kaisa Sere

Naši zákazníci hovoria:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-dňová lehota na vrátenie podľa európskej legislatívy o ochrane spotrebiteľa

Najvyššie hodnotenie na Trustpilot

Pridať do vášho zoznamu prianí na iMusic

Not rated yet

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

Kaisa Sere

1999 edition

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

Médium	Knihy Paperback Book (Kniha s mäkkou väzbou a lepeným chrbtom)
Vydané	23. októbra 1998
ISBN13	9781852330538
Vydavatelia	Springer London Ltd
Strany	364
Rozmery	155 × 235 × 19 mm · 530 g
Jazyk	Angličtina
Editor	Sekerinski, Emil
Editor	Sere, Kaisa