Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their relationship (lecture notes in computer science ; v.321)

By: Zwiers, JContributor(s): Language: English Series: Publication details: Berlin ; Springer-Verlag, ; 1989Edition: Description: vi,272 p; 24 cmISBN: 3-540-50845-71Subject(s): | Programming languages(Electronic Computers)
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Notes Date due Barcode Item holds
Books Books Central Library, IITB
Compact Storage - Basement Area 		681.3.06 Zwi Available G56A01 152925
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha