Parallel Programming with the B Method

Michael Butler; Marina Waldén

doi:10.1007/978-1-4471-0585-5_5

Parallel Programming with the B Method

Michael Butler
, Marina Waldén

Informaatioteknologia

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	Englanti
Otsikko	Program Development by Refinement: Case Studies Using the B Method
Toimittajat	Emil Sekerinski, Kaisa Sere
Kustantaja	Springer-Verlag
Luku	5
Sivut	183-195
ISBN (painettu)	978-1-85233-053-8
DOI - pysyväislinkit	https://doi.org/10.1007/978-1-4471-0585-5_5
Tila	Julkaistu - 1999
OKM-julkaisutyyppi	A3 Kirjan osa tai toinen tutkimuskirja

Julkaisusarja

Nimi	Formal Approaches to Computing and Information Technology FACIT

Pääsy asiakirjaan

10.1007/978-1-4471-0585-5_5

Viittausmuodot

@inbook{691aa0dacebc41ac80676f15989c6b99,

title = "Parallel Programming with the B Method",

author = "Michael Butler and Marina Wald{\'e}n",

year = "1999",

doi = "10.1007/978-1-4471-0585-5\_5",

language = "English",

isbn = "978-1-85233-053-8",

series = "Formal Approaches to Computing and Information Technology FACIT ",

publisher = "Springer-Verlag",

pages = "183--195",

editor = "Emil Sekerinski and Kaisa Sere",

booktitle = "Program Development by Refinement: Case Studies Using the B Method",

}

Parallel Programming with the B Method. / Butler, Michael; Waldén, Marina.
Program Development by Refinement: Case Studies Using the B Method. toim. / Emil Sekerinski; Kaisa Sere. Springer-Verlag, 1999. s. 183-195 (Formal Approaches to Computing and Information Technology FACIT ).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

TY - CHAP

T1 - Parallel Programming with the B Method

AU - Butler, Michael

AU - Waldén, Marina

PY - 1999

Y1 - 1999

U2 - 10.1007/978-1-4471-0585-5_5

DO - 10.1007/978-1-4471-0585-5_5

M3 - Chapter

SN - 978-1-85233-053-8

T3 - Formal Approaches to Computing and Information Technology FACIT

SP - 183

EP - 195

BT - Program Development by Refinement: Case Studies Using the B Method

A2 - Sekerinski, Emil

A2 - Sere, Kaisa

PB - Springer-Verlag

ER -