Formal development of reactive systems

By:

Contributor(s):

Material type: Text

TextLanguage: English Series: Lecture notes in computer science, 891Publication details: Berlin Springer Verlag 1995Description: xi,394pSubject(s):

DDC classification:

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

Holdings
Item type	Current library	Call number	Status	Date due	Barcode	Item holds
Books	ISI Library, Kolkata 4th Floor	005.3 L671 (Browse shelf(Opens below))	Available		114916

Total holds: 0

Previous	No cover image available	No cover image available		No cover image available		No cover image available	No cover image available	Next
Previous	005.3 In61 FSTTCS 2006: foundations of software technology and theoretical computer science	005.3 K18 Online computing : time shared man-computer systems	005.3 K65 Using Visicalc : getting down to business	005.3 L671 Formal development of reactive systems	005.3 M157 On the construction of programs	005.3 M225 Digital computer programs for physical chemistry	005.3 M225 Digital computer programs for physical chemistry	Next

Case study production cell

There are no comments on this title.

to post a comment.