عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook2729
eng
Concurrency, compositionality, and correctness
Berlin ;New York :
: Springer,
, 2010.
Print
Parallel programming (Computer science) ; Computer programs ; Correctness. ; Computer science. ;
; Hannemann, Ulrich. ; Steffen, Martin. ; -P. de, ; 1943-Dams, Dennis. ; Roever, W.
old catalog
