Normal view MARC view ISBD view

Verification and validation of real-time software

By:

Contributor(s):

Material type: Text

TextPublication details: Berlín : , c1985Description: xi, 245 p. : il. ; 25 cmISBN:

Subject(s):

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

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Libros	Biblioteca Fac.Informática	C.3 QUI (Browse shelf(Opens below))	Available		DIF-01064

Previous								Next
Previous	C.3 GOL A practical guide to real-time systems development	C.3 MAN Temporal verification of reactive systems : safety	C.3 MAN The temporal logic of reactive and concurrent systems : specification	C.3 QUI Verification and validation of real-time software	C.3 REA Real-time database and information systems : research advances	C.3 SCH Scheduling in real-time systems	C.3 SEL Real-Time Object-Oriented Modeling /	Next

There are no comments on this title.

to post a comment.