The temporal logic of reactive and concurrent systems/specification

By:

Material type: Text

TextPublication details: Springer-Verlag 1992Edition: Description: 427ISBN:

DDC classification:

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Books	Department of Computer Science	004.436 (Browse shelf(Opens below))	Available		MCS04344

Previous	No cover image available					No cover image available		Next
Previous	004.43.5BHI Computer programming for science and engineering	004.436 Concurrent Programming	004.436 Concurrent Programming	004.436 The temporal logic of reactive and concurrent systems/specification	004.436 Verification of sequential and concurrent programs	004.436 On concurrent programming	004.438 GAN Oracle certified professional Java SE 8 Programmer EXAM 1Zo-809: a comprehensive OCPJP8 certification guide	Next

There are no comments on this title.

to post a comment.