SwePub
Tyck till om SwePub Sök här!
Sök i LIBRIS databas

  Utökad sökning

WFRF:(Cunningham R)
 

Sökning: WFRF:(Cunningham R) > (1987-1989) > A Compositional Met...

A Compositional Method for the Design and Proof of Asynchronous Processes

Cunningham, R. J. (författare)
Nonnengart, Andreas (författare)
Max-Planck-Institut Informatik
Szalas, Andrzej (författare)
University of Warsaw
 (creator_code:org_t)
Amsterdam : North-Holland, 1987
1987
Engelska.
Ingår i: Proceedings of the 4th Annual ESPRIT Conference (ESPRIT). - Amsterdam : North-Holland. - 0444703330 ; , s. 566-580
  • Konferensbidrag (refereegranskat)
Ämnesord
Stäng  

Publikations- och innehållstyp

ref (ämneskategori)
kon (ämneskategori)

Hitta via bibliotek

Till lärosätets databas

Sök utanför SwePub

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy