Tipsa dina vänner om produkten:
Refinement in Z and Object-Z: Foundations and Advanced Applications John Derrick Softcover reprint of the original 2nd ed. 2014 edition
Pris
SEK 1.069
Beställningsvara
Förväntad leverans 5 - 9 jan 2026
Julklappar kan bytas fram till 31:e januari
Lägg till din iMusic-önskelista
eller
Finns även som:
Refinement in Z and Object-Z: Foundations and Advanced Applications
John Derrick
This book covers data refinement and its application to Z; generalisations of refinement that change the interface and atomicity of operations; refinement in Object-Z; and modelling state and behaviour by combining Object-Z with CSP.
492 pages, XVIII, 492 p.
| Media | Böcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
| Releasedatum | 23 augusti 2015 |
| ISBN13 | 9781447161677 |
| Utgivare | Springer London Ltd |
| Antal sidor | 492 |
| Mått | 155 × 235 × 26 mm · 707 g |
| Språk | Engelska |
Fler produkter med John Derrick
Visa allaSe alt med John Derrick ( t.ex. Pocketbok och Inbunden Bok )