Reactive systems modelling, specification and verification

Saved in:

Bibliographic Details
Other Authors:	Aceto, Luca, Anna Ingaolfsdaottir 1952, Larsen,K. G. 1957 Kim G., Srba, Jieri 1957 Kim G.
Format:	Book
Published:	Cambridge New York Cambridge University Press 2007
Subjects:	Expert systems (Computer science) > Validation System design > Mathematical models
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

MARC


LEADER	00000n a2200000 a 4501
001	wils-386739
020	#	#	\|a 9780521875462 (hbk.)
020	#	#	\|a 0521875463 (hbk.)
040	#	#	\|a UKM \|d ITMB
090	0	0	\|a QA76.76.E95 \|b R39 2007
245	0	0	\|a Reactive systems \|b modelling, specification and verification \|c Luca Aceto ... [et al.]
260	#	#	\|a Cambridge \|a New York \|b Cambridge University Press \|c 2007
300	#	#	\|a xvi, 284 p. \|b ill. \|c 26 cm
504	#	#	\|a Includes bibliographical references (p. 267-279) and index
650	#	0	\|a Expert systems (Computer science) \|x Validation
650	#	0	\|a System design \|x Mathematical models
700	1	#	\|a Aceto, Luca
700	#	#	\|a Anna Ingaolfsdaottir \|d 1952
700	#	#	\|a Larsen,K. G. \|d 1957 \|q Kim G.
700	#	#	\|a Srba, Jieri \|d 1957 \|q Kim G.
856	4	0	\|z Click Here to View Status and Holdings. \|u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=386739
964	#	#	\|c BOK \|d 01