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
@Article{Rocca:2004:BRA,
author = "Simona Ronchi Della Rocca",
title = "Book Review: {Abstract State Machines --- A Method for
High-Level System Design and Analysis}, by {Egon
Boerger} and {Robert Staerk}",
journal = j-COMP-J,
volume = "47",
number = "2",
pages = "270--271",
month = mar,
year = "2004",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/47.2.270",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
bibdate = "Wed Feb 11 11:25:44 MST 2004",
bibsource = "http://www.math.utah.edu/pub/tex/bib/compj2000.bib;
http://www3.oup.co.uk/computer_journal/hdb/Volume_47/Issue_02/",
URL = "http://www3.oup.co.uk/computer_journal/free_pdf/470270a.pdf;
http://www3.oup.co.uk/computer_journal/hdb/Volume_47/Issue_02/470270a.sgm.abs.html",
acknowledgement = ack-nhfb,
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
}
Related entries
- Abstract,
0(0)xi--420,
0(0)x--438,
47(1)25,
49(4)454
- analysis,
0(0)xii--274,
0(0)xxiii--335,
0(0)xxxi--332,
0(0)x--438,
43(3)224,
43(5)420,
44(4)230,
45(1)2,
45(2)147,
45(3)260,
45(3)304,
46(1)84,
47(2)179,
47(6)634,
48(1)17,
49(2)249,
49(6)685,
50(2)217,
50(5)535,
50(6)728,
51(1)26,
51(2)216,
51(4)451,
51(6)745,
52(4)510,
52(5)530,
52(6)725
- design,
0(0)viii--378,
0(0)xi--178,
0(0)xii--274,
0(0)xvi--848,
0(0)xviii--320,
0(0)xxi--418,
0(0)x--438,
35(0)335,
43(3)191,
45(1)2,
45(2)162,
46(1)3,
46(4)449,
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
- machines,
0(0)x--438,
43(1)24,
50(3)315,
52(3)334,
52(6)599
- method,
0(0)xii--574,
0(0)x--438,
43(4)252,
43(4)301,
45(1)1,
45(1)46,
45(6)608,
46(3)263,
46(3)319,
48(1)101,
49(1)108,
49(5)629,
50(1)68,
50(5)555,
50(6)674,
51(1)26,
52(1)80,
52(1)101,
52(1)126,
52(6)599
- Robert,
49(3)376,
49(6)764
- state,
0(0)x--438,
45(6)608,
48(4)443,
50(3)315,
52(3)334,
52(6)599