Communicating embedded systems software and design : formal methods

Saved in:

Bibliographic Details
Other Authors:	Jard, Claude, Roux, Olivier H.
Format:	Unknown
Language:	English French
Published:	London ISTE ohn Wiley and Sons 2010
Subjects:	Embedded computer systems > Programming Embedded computer systems > Design and construction Computer software > Development Formal methods (Computer science) > Design and construction
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-458861
020	#	#	\|a 9781848211438
020	#	#	\|a 1848211430
040	#	#	\|a DLC \|d ITMB
041	#	#	\|a eng \|h fre
090	0	0	\|a TK7895.E42 \|b A387 2010
245	1	0	\|a Communicating embedded systems \|b software and design : formal methods \|c edited by Claude Jard, Olivier H. Roux
260	#	#	\|a London \|b ISTE \|b ohn Wiley and Sons \|c 2010
300	#	#	\|a xii, 261 p. \|b ill. \|c 25 cm
504	#	#	\|a Includes bibliographical references and index
650	#	0	\|a Embedded computer systems \|x Programming
650	#	0	\|a Embedded computer systems \|x Design and construction
650	#	0	\|a Computer software \|x Development
650	#	0	\|a Formal methods (Computer science) \|x Design and construction
700	1	#	\|a Jard, Claude
700	#	#	\|a Roux, Olivier H.
856	4	0	\|z Click Here to View Status and Holdings. \|u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=458861
964	#	#	\|c BOK \|d CS
998	#	#	\|a 00260##a002.8.2\|\|00260##b002.8.4\|\|00260##b002.8.4\|\|00260##c002.7.6\|\|00300##a003.4.1\|\|00300##b003.6.1\|\|00300##c003.5.1\|\|01700##a0011.2.2\|\|