Real time programming languages, specification and verification /

Saved in:

Bibliographic Details
Main Author:	Shyamasundar, Rudrapatna, 1950-
Corporate Author:	ebrary, Inc
Other Authors:	Ramesh, S. (Sethu)
Format:	Electronic eBook
Language:	English
Published:	Singapore ; Hackensack, NJ ; London : World Scientific, c2010.
Subjects:	Real-time programming. Electronic books.
Online Access:	An electronic book accessible through the World Wide Web; click to view
Tags:	Add Tag No Tags, Be the first to tag this record!

MARC


LEADER	00000nam a2200000 a 4500
001	0000126611
005	20171002060806.0
006	m u
007	cr cn\|\|\|\|\|\|\|\|\|
008	100423s2010 si a sb 001 0 eng c
010			\|z 2010278745
015			\|a GBA937217 \|2 bnb
016	7		\|z 015109969 \|2 Uk
020			\|z 9789810225667 (hbk.)
020			\|z 9810225660 (hbk.)
035			\|a (CaPaEBR)ebr10422187
035			\|a (OCoLC)630133206
040			\|a CaPaEBR \|c CaPaEBR
050	1	4	\|a QA76.54 \|b .S33 2010eb
082	0	4	\|a 004/.33 \|2 22
100	1		\|a Shyamasundar, Rudrapatna, \|d 1950-
245	1	0	\|a Real time programming \|h [electronic resource] : \|b languages, specification and verification / \|c R.K. Shyamasundar, S. Ramesh.
260			\|a Singapore ; \|a Hackensack, NJ ; \|a London : \|b World Scientific, \|c c2010.
300			\|a xv, 245 p. : \|b ill. (some col.).
504			\|a Includes bibliographical references and index.
533			\|a Electronic reproduction. \|b Palo Alto, Calif. : \|c ebrary, \|d 2013. \|n Available via World Wide Web. \|n Access may be limited to ebrary affiliated libraries.
650		0	\|a Real-time programming.
655		7	\|a Electronic books. \|2 local
700	1		\|a Ramesh, S. \|q (Sethu)
710	2		\|a ebrary, Inc.
856	4	0	\|u http://site.ebrary.com/lib/daystar/Doc?id=10422187 \|z An electronic book accessible through the World Wide Web; click to view
908			\|a 170314
942	0	0	\|c EB
999			\|c 115760 \|d 115760