Parallel Programming with the B Method

Michael Butler, Marina Walden

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaLukuTieteellinenvertaisarvioitu

AlkuperäiskieliEnglanti
OtsikkoProgram Development by Refinement: Case Studies Using the B Method
ToimittajatEmil Sekerinski, Kaisa Sere
KustantajaSpringer-Verlag
Luku5
Sivut183-195
TilaJulkaistu - 1998
OKM-julkaisutyyppiA3 Kirjan osa tai toinen tutkimuskirja

Viittausmuodot