Research Catalog

Verification of sequential and concurrent programs

Title
Verification of sequential and concurrent programs / Krzysztof R. Apt, Ernst-Rüdiger Olderog.
Author
Apt, Krzysztof R., 1949-
Publication
New York : Springer-Verlag, ©1991.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
Not available - Please for assistance.
TextUse in library QA76.76.V47 A67 1991Off-site

Details

Additional Authors
Olderog, E.-R.
Description
xvi, 441 pages; 25 cm.
Series Statement
Texts and monographs in computer science
Uniform Title
Texts and monographs in computer science
Subject
  • Computer software > Verification
  • Software
  • software
  • Programmverifikation
  • Software
  • Verificatie
  • Parallel programming (Computer science) > Verification
  • Logiciels > Vérification
Bibliography (note)
  • Includes bibliographical references and indexes.
ISBN
  • 0387975322
  • 9780387975320
  • 3540975322
  • 9783540975328
LCCN
91007267
OCLC
  • ocm23142102
  • 23142102
  • SCSB-1961920
Owning Institutions
Princeton University Library