Logic for concurrency and synchronisation

Shranjeno v:

Bibliografske podrobnosti
Korporativna značnica:	ebrary, Inc
Drugi avtorji:	Queiroz, Ruy J. G. B. de
Format:	Elektronski eKnjiga
Jezik:	angleščina
Izdano:	Dordrecht ; Boston : Kluwer Academic Publishers, c2003.
Serija:	Trends in logic ; v. 18.
Teme:	Proof theory. Modality (Logic) Parallel programming (Computer science) Electronic books.
Online dostop:	An electronic book accessible through the World Wide Web; click to view
Oznake:	Označite Brez oznak, prvi označite!

Podobne knjige/članki: Logic for concurrency and synchronisation