Real time programming : languages, specification and verification /

Bibliographic Details
Main Author: Shyamasundar, Rudrapatna, 1950-
Other Authors: Ramesh, S. (Sethu)
Format: Book
Language:English
Published: Singapore ; Hackensack, NJ ; London : World Scientific, [2010]
Subjects:

MARC

Tag First Indicator Second Indicator Subfields
LEADER 00000cam a2200000 a 4500
001 in00002547021
005 20151201101513.0
008 090401s2010 si a b 001 0 eng
015 |a GBA937217  |2 bnb 
016 7 |a 015109969  |2 Uk 
020 |a 9789810225667 (hbk.) 
020 |a 9810225660 (hbk.) 
035 |a (OCoLC)ocn318674009 
035 |a (OCoLC)318674009 
040 |a UKM  |c UKM  |d YDXCP  |d BWX  |d MUU  |d TXA  |d UtOrBLW 
042 |a pcc 
049 |a TXAM 
050 4 |a QA76.7  |b .S49 2010 
082 0 4 |a 005.273  |2 22 
100 1 |a Shyamasundar, Rudrapatna,  |d 1950- 
245 1 0 |a Real time programming :  |b languages, specification and verification /  |c R.K. Shyamasundar, S. Ramesh. 
264 1 |a Singapore ;  |a Hackensack, NJ ;  |a London :  |b World Scientific,  |c [2010] 
264 4 |c ©2010 
300 |a xv, 245 pages :  |b illustrations (some color) ;  |c 26 cm. 
336 |a text  |b txt  |2 rdacontent 
337 |a unmediated  |b n  |2 rdamedia 
338 |a volume  |b nc  |2 rdacarrier 
504 |a Includes bibliographical references and index. 
650 0 |a Real-time programming. 
700 1 |a Ramesh, S.  |q (Sethu) 
945 |a PromptCat  |b 904112 
946 |a stk 
947 |a A14840067578 
994 |a C0  |b TXA 
948 |a cataloged  |b h  |c 2010/4/7  |d c  |e nbehmer  |f 12:48:23 pm 
999 |a MARS 
999 f f |s b7adb8f7-d4d3-3db8-a779-171c860faabb  |i 6fe48756-0d0c-36a6-822d-239df9e3ecac  |t 0 
952 f f |p ric  |a Texas A&M University  |b Rellis Campus  |c Joint Library Facility  |d Remote Storage  |t 0  |e QA76.7 .S49 2010  |h Library of Congress classification  |i unmediated -- volume  |m A14840067578 
998 f f |a QA76.7 .S49 2010  |t 0  |l Remote Storage