skip to main content
Language:
Resource type Show Results with: Show Results with: Index

Compositionality, concurrency, and partial correctness proof theories for networks of processes and their relationship

J. Zwiers 1956- (Job)

Berlin New York Springer-Verlag c1989

Available at FEA - Fac. Econ. Adm. Contab. e Atuária    (T301.35 M269f e.2 ) and other locations(GetIt)

Sign in to Post Your Review

Sign in to Add New Tags

Back to results list
Result  1

  • Implemented by: ABCD-USP USP   Social Network Logos: Freepik

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Show me what you have so far