UCSC Library OPAC
Image from Google Jackets

Modeling and verification of parallel processes : lecture notes in computer science

By: Language: English Publication details: Springer: Tokyo; 2000Description: 222 pISBN:
  • 0003540427872
Subject(s): DDC classification:
  • 004.3
  • M52
Item type: Lending Book
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Home library Collection Call number Status Date due Barcode Item holds
Lending Book Lending Book UCSC Library Lending Section UCSC Library Lending Section Lending Collection 004.3 M52 (Browse shelf(Opens below)) Available A13713
Total holds: 0

There are no comments on this title.

to post a comment.
© 2026 All rights reserved. UCSC