Tools

LEADER 01324cam a2200361 a 4500

001 ocm24792235;

005 20141212090846.0;

008 911021s1991 gw b 000 0 eng ;

010 a| 91041783;

020 a| 0387549471 (New York);

020 a| 3540549471 (Berlin);

035 a| (Sirsi) o24792235;

035 a| (OCoLC)24792235;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA76.54b| .H66 1991;

082 00 a| 004/.332| 20;

100 1 a| Hooman, J.q| (Jozef),d| 1955-=| ^A289694;

245 10 a| Specification and compositional verification of real-time systems /c| J. Hooman.;

300 a| viii, 235 pages ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 558;

500 a| Rev. version of the author's thesis (Ph. D.)--Eindhoven University of Technology.;

504 a| Includes bibliographical references (p. [229]-235).;

650 0 a| Real-time data processing.=| ^A65974;

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

919 a| BOOK;

596 a| 1;

998 a| 423502;

999 a| QA76.54.H66 1991w| LCc| 1i| 30372006356478d| 2/8/2013f| 2/8/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 6/30/1992x| BOOKz| JSTACKSo| .STAFF. 0;

Specification and compositional verification of real-time systems / J. Hooman.

Author/creator	Hooman, J., 1955-
Format	Book
Publication Info	Berlin ; New York : Springer, ©1991.
Description	viii, 235 pages ; 25 cm.
Subjects	Real-time data processing.

Series	Lecture notes in computer science ; 558 Lecture notes in computer science 558. ^A466336
General note	Rev. version of the author's thesis (Ph. D.)--Eindhoven University of Technology.
Bibliography note	Includes bibliographical references (p. [229]-235).
LCCN	91041783
ISBN	0387549471 (New York)
ISBN	3540549471 (Berlin)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.54.H66 1991	✔ Available	Place Hold

Specification and compositional verification of real-time systems / J. Hooman.

Click here for more information about this title

Availability