Research Catalog

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

Title
Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship / J. Zwiers.
Author
Zwiers, J. (Job), 1956-
Publication
Berlin ; New York : Springer-Verlag, ©1989.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library QA76.5 .Z87 1989Off-site

Details

Description
vi, 272 pages : illustrations; 25 cm
Series Statement
Lecture notes in computer science ; 321
Uniform Title
Lecture notes in computer science ; 321.
Subject
  • Parallel processing (Electronic computers)
  • Automatic theorem proving
  • Automatic theorem proving
  • Dekomposition
  • Partiell korrektes Programm
  • Nebenläufigkeit
  • Programmverifikation
  • Computer programs > Verification
  • Computer programs > Correctness
  • Parallélisme (informatique)
Bibliography (note)
  • Bibliography: p. 266-272.
System Details (note)
  • Mode of access: World Wide Web.
ISBN
  • 0387508457
  • 9780387508450
  • 3540508457
  • 9783540508458
LCCN
89004329
OCLC
  • ocm19323130
  • 19323130
  • SCSB-1717767
Owning Institutions
Princeton University Library