Tools

LEADER 02965cam a22006017a 4500

001 ssj0000317701;

003 WaSeSS;

005 20200412081236.0;

006 m d ;

007 cr n ;

008 070814s2007 gw a sb 111 0 eng d;

010 a| 2007935177;

016 7 a| 98545525X2| GyFmDB;

020 a| 354075220X (pbk.);

020 a| 9783540752202 (pbk.);

035 a| (WaSeSS)ssj0000317701;

042 a| lccopycat;

049 a| EREEa| NEHH;

050 00 a| QA76.9.F67b| F525 2007;

082 00 a| 004/.332| 22;

245 00 a| Formal methods and hybrid real-time systemsh| [electronic resource] :b| essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays /c| Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.).;

260 a| Berlin ;a| New York :b| Springer,;

300 a| xvi, 538 p. :b| ill. ;c| 24 cm.;

440 0 a| LNCS sublibrary.n| SL 1,p| Theoretical computer science and general issues;

490 1 a| Lecture notes in computer science,x| 0302-9743 ;v| 4700.a| Festschrift;

500 a| Papers presented at a symposium held in Macao, China, Sept. 24-25, 2007 during the course of the International Colloquium on Theoretical Aspects of Computing.;

504 a| Includes bibliographical references and index.;

506 a| Available only to authorized users.;

530 a| Also issued online;

538 a| Mode of access: World Wide Web;

600 10 a| Bjørner, D.q| (Dines),d| 1937-=| ^A145602;

600 10 a| Chaochen, Zhou.?| UNAUTHORIZED;

650 0 a| Formal methods (Computer science)v| Congresses.=| ^A422971;

650 0 a| Real-time data processingv| Congresses.=| ^A11461;

655 0 a| Electronic books.=| ^A491897;

700 1 a| Bjørner, D.q| (Dines),d| 1937-=| ^A145602;

700 1 a| Zhou, Chaochen,d| 1937-=| ^A629729;

700 1 a| Jones, C. B.q| (Cliff B.),d| 1944-=| ^A117407;

700 1 a| Liu, Zhiming,d| 1961-=| ^A597220;

700 1 a| Woodcock, Jim.=| ^A318888;

830 0 a| Lecture notes in computer sciencev| 4700.=| ^A466336;

830 0 a| Lecture notes in computer science.p| Festschrift.=| ^A601151;

856 40 z| Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)u| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2Fopenurl%3Fgenre%3Dbook%26isbn%3D978-3-540-75220-2;

947 a| (OCoLC)ocn173071271;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER188;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL77;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC60;

596 a| 1 3 4;

998 a| 4085050;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4085050-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 1/1/2016x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4085050-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 1/1/2016x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4085050-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 1/1/2016x| EBOOKz| JERESOURCE;

Formal methods and hybrid real-time systems essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays / Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.).

Format	Electronic
Publication Info	Berlin ; New York : Springer,
Description	xvi, 538 p. : ill. ; 24 cm.
Supplemental Content	Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects	Bjørner, D. (Dines), 1937- Chaochen, Zhou. Formal methods (Computer science)--Congresses. Real-time data processing--Congresses.

Other author/creator	Bjørner, D. (Dines), 1937-
Other author/creator	Zhou, Chaochen, 1937-
Other author/creator	Jones, C. B. (Cliff B.), 1944-
Other author/creator	Liu, Zhiming, 1961-
Other author/creator	Woodcock, Jim.
Series	LNCS sublibrary. SL 1, Theoretical computer science and general issues Lecture notes in computer science, 0302-9743 ; 4700. Festschrift Lecture notes in computer science 4700. ^A466336 Lecture notes in computer science. Festschrift. ^A601151
General note	Papers presented at a symposium held in Macao, China, Sept. 24-25, 2007 during the course of the International Colloquium on Theoretical Aspects of Computing.
Bibliography note	Includes bibliographical references and index.
Access restriction	Available only to authorized users.
Other forms	Also issued online
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	2007935177
ISBN	354075220X (pbk.)
ISBN	9783540752202 (pbk.)

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Access Content Online	✔ Available

Formal methods and hybrid real-time systems essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays / Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.).

Click here for more information about this title

Availability