Author Index

A

Abadi, M., 127, 135
Abali, B., 80
Abrial, J.-R., 148–149
Addison-Wesley, 10, 134
Aggarwal, N., 80
Ahl, D.H., 15
Aho, A.V., 13, 15, 17, 20
Aldrich, J., 145
Ali, A., 109
Ali, S., 26–27, 29, 51, 53
Alpern, B., 133
Altaf, T., 96
Alurue, S., 108
Anderson, T., 130, 145
Antoniol, G., 46–47
Asadi, M., 120
Autili, M., 144
Avizienis, A., 127–129, 131–132, 136, 172

B

Baier, C., 133
Balcer, M.J., 35
Ball, T., 136
Ballagny, C., 161–162, 164
Banikazemi, M., 80
Barbier, F., 161–162, 164
Barney, B., 92, 98, 100–101, 107–108
Becker, B., 153
Behm, P., 150
Bellosa, F., 80
Benoit, P., 150
Bernardi, S., 129
Bhadauria, M., 60, 80
Bichsel, P., 46–47
Biermann, A.W., 2, 42
Binkley, D., 53
Birman, K.P., 189
Birrell, A.D., 140
Blagodurov, S., 60–61, 63, ...

Get Advances in Computers now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.