Entry Kurki-Suonio:2005:PTR from compj2000.bib
Last update: Sun Mar 31 02:13:37 MDT 2019
Top |
Symbols |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Book{Kurki-Suonio:2005:PTR,
author = "Reino Kurki-Suonio",
title = "A practical theory of reactive systems: incremental
modeling of dynamic behaviors",
publisher = pub-SV,
address = pub-SV:adr,
pages = "xxi + 418",
year = "2005",
ISBN = "3-540-23342-3 (hardcover)",
ISBN-13 = "978-3-540-23342-8 (hardcover)",
LCCN = "QA76.76.D47 K87 2005",
bibdate = "Wed Apr 28 15:11:37 MDT 2010",
bibsource = "http://www.math.utah.edu/pub/tex/bib/compj2000.bib;
z3950.loc.gov:7090/Voyager",
series = "Texts in theoretical computer science: an EATCS
series",
URL = "http://www.loc.gov/catdir/enhancements/fy0663/2005920137-d.html;
http://www.loc.gov/catdir/enhancements/fy0818/2005920137-b.html;
http://www.loc.gov/catdir/enhancements/fy0818/2005920137-t.html",
acknowledgement = ack-nhfb,
subject = "Computer software; Development; System design",
}
Related entries
- 3-540-23342-3,
49(6)762
- behavior,
0(0)xxxi--332
- computer,
0(0)viii--378,
0(0)xi--170,
0(0)xi--420,
0(0)xii--574,
0(0)xiii--483,
0(0)xiii--574,
0(0)xv--387,
0(0)xvi--848,
0(0)xvii--325,
0(0)xviii--240,
0(0)xxiii--703,
0(0)xxv--469,
0(0)xxv--672,
0(0)xxvi--590,
0(0)xxx--593,
0(0)xxxii--648,
0(0)xxxvi--412,
0(0)0,
0(0)x--295,
0(0)x--438,
7(0)x--153,
35(0)335,
41(7)445,
43(4)274,
44(4)321,
44(4)324,
44(4)326,
46(1)3,
46(5)487,
47(4)399,
47(6)627,
48(6)650,
48(6)662,
49(1)129,
49(1)130,
49(2)136,
49(2)249,
49(3)376,
49(3)378,
49(4)390,
49(4)501,
49(6)762,
50(1)4,
50(2)151,
50(3)254,
50(4)375,
51(1)1,
51(6)688,
51(6)731,
51(6)735,
51(6)741,
51(6)743,
58(0)xvi--358,
z(0)xiv--320,
z(0)xxvi--442
- design,
0(0)viii--378,
0(0)xi--178,
0(0)xii--274,
0(0)xvi--848,
0(0)xviii--320,
0(0)x--438,
35(0)335,
43(3)191,
45(1)2,
45(2)162,
46(1)3,
46(4)449,
47(2)270,
47(4)507,
47(5)622,
48(6)692,
49(2)171,
49(2)249,
49(4)400,
49(4)500,
49(5)527,
49(6)634,
50(1)129,
51(1)26,
52(2)186,
52(6)656,
52(6)690
- development,
0(0)viii--378,
0(0)xxv--469,
0(0)xxix--561,
0(0)xxx--593,
0(0)xxxii--648,
0(0)xxxvi--412,
0(0)0,
0(0)x--438,
35(0)335,
44(1)1,
45(1)2,
45(1)37,
46(6)602,
48(2)253,
49(1)130,
49(6)685,
51(2)144
- dynamic,
43(5)386,
43(6)524,
48(4)401,
50(5)555,
52(1)114,
52(2)240,
52(4)397,
52(4)413
- hardcover,
0(0)ix--292,
0(0)xi--170,
0(0)xii--274,
0(0)xxiii--499,
0(0)xxv--469,
49(1)128,
49(1)130,
49(6)764,
52(4)510,
52(4)510
- modeling,
0(0)xiii--483,
43(3)206,
44(6)504,
46(5)476,
47(6)634,
47(6)673,
49(6)744,
51(3)385,
51(4)435,
51(6)743,
52(1)126,
52(3)348
- practical,
0(0)xi--178,
45(6)620,
47(3)395,
48(5)588,
49(1)82,
49(6)762,
51(1)7,
51(1)26
- reactive,
49(6)762,
52(4)461
- software,
0(0)viii--378,
0(0)xviii--240,
0(0)xxvi--590,
0(0)xxix--561,
0(0)xxxvi--412,
0(0)0,
0(0)x--438,
35(0)335,
44(6)473,
44(6)557,
44(6)569,
45(1)111,
47(3)395,
47(4)507,
47(6)728,
48(2)130,
49(4)454,
49(5)507,
51(2)144,
52(3)378,
52(3)388,
52(5)513,
52(5)514,
52(6)725,
z(0)xxvi--442
- theory,
0(0)xi--170,
0(0)xi--420,
0(0)xii--580,
0(0)xv--356,
47(1)10,
47(3)395,
47(3)396,
47(6)662,
47(6)728,
49(1)127,
49(4)501,
49(6)762,
50(5)522,
51(1)137,
51(3)292,
z(0)xiv--320,
z(0)xxvi--442