Parallel Programming with the B Method

Michael Butler, Marina Walden

Forskningsoutput: Kapitel i bok/konferenshandlingKapitelVetenskapligPeer review

OriginalspråkEngelska
Titel på gästpublikationProgram Development by Refinement: Case Studies Using the B Method
RedaktörerEmil Sekerinski, Kaisa Sere
FörlagSpringer-Verlag
Kapitel5
Sidor183-195
StatusPublicerad - 1998
MoE-publikationstypA3 Del av bok eller annan forskningsbok

Citera det här