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

By:

Language: English Publication details: Springer: Tokyo; 2000Description: 222 pISBN:

Subject(s):

DDC classification:

Item type:

Lending Book

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Home library	Collection	Call number	Status	Date due	Barcode	Item holds
Lending Book	UCSC Library Lending Section	UCSC Library Lending Section	Lending Collection	004.3 M52 (Browse shelf(Opens below))	Available		A13713

Total holds: 0

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	004.3 L15 Languages and compilers for parallel computing :Lecture notes in computer science :Proceedings	004.3 M16 BLUEPRINTS FOR HIGH AVILABILITY:DESIGNING RESILIENT DISTRIBUTED SYSTEMS	004.3 M24 EMPIRICAL METHODS FOR EXPLOITING PARALLEL TEXTS	004.3 M52 Modeling and verification of parallel processes : lecture notes in computer science	004.3 M63 MPI THE COMPLETE REFERENCE:VOLUME 2, THE MPI-2 EXTENSIONS	004.3 N27 Network-based parallel computing: commiunication , architecture, and applications :Lecture notes in computer science : Proceedings	004.3 O14 Object-Based parallel and distributed computation:Lecture notes in computer science : Papers	Next

There are no comments on this title.

to post a comment.