Providence University Luking Library Webpac

Home > Information

Check-outs :

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

Hit：77
Rating：0
Review：0
Trackback：0
Email：0

Brief

MARC

001

216260

003

OCoLC

005

19941006152703.0

008		890207s1989 gw a b 000 0 eng
010		\|a 89004329
020		\|a0387508457 (New York : pbk.)
020		\|a3540508457 (Berlin : pbk.)
035		\|a00216365
040		\|aDLC\|cDLC
049		\|aPVYA[][][][72976]
050	0	\|aQA76.5\|b.Z87 1989
092	0	\|a004.35\|bZ97
094		\|a靜宜\|d004.35\|eZ97\|cE72976/00151373\|tDDC\|fChen
095		\|pBOOK\|d004.35\|eZ97
100	1	\|aZwiers, J.\|q(Job),\|d1956-
245	10	\|aCompositionality, concurrency, and partial correctness :\|bproof theories for networks of processes and their relationship /\|cJ. Zwiers.
260		\|aBerlin :\|bSpringer-Verlag,\|cc1989.
300		\|avi, 272 p. :\|bill. ;\|c25 cm.
440	0	\|aLecture notes in computer science ;\|v321
504		\|aBibliography: p. 266-272.
650	0	\|aParallel processing (Electronic computers)
650	0	\|aAutomatic theorem proving.

Share：

第1級人氣樹(0)

人氣指樹

Export

keepsite
Introduction
Tags(0)
Collection(0)
Review(0)
Rating(0)

Top

Please login for this service.

Please login for this service.

Please login for this service.

Please login for this service.

Similar Items :