Title:
Abstract State Machines : A Method for High-Level System Design and Analysis
Author: By Egon Boerger
Table of Contents
1 Introduction 1
2 ASM Design and Analysis Method 13
3 Basic ASMs 87
4 Structured ASMs (Composition Techniques) 159
5 Synchronous Multi-Agent ASMs 187
6 Asynchronous Multi-Agent ASMs 207
7 Universal Design and Computation Model 283
8 Tool Support for ASMs 313
9 History and Survey of ASM Research 343
References 369
List of Problems 429
List of Figures 431
List of Tables 433
Index 435
[HIDE]
eBook + Solution manual:
http://mihd.net/t5bi1c
mirror:
http://rapidshare.com/files/2070456/asmachines.rar
[/HIDE]
Lastcheck by F4VN Bot: November 17, 2008, 8:55 am 
Mirror:
http://othermirror.com/movie-[F4VN] Abstract State Machines : A Method for High-Level System Design and Analy/ http://othermirror.com/game-[F4VN] Abstract State Machines : A Method for High-Level System Design and Analy/ http://othermirror.com/anime-[F4VN] Abstract State Machines : A Method for High-Level System Design and Analy/ http://othermirror.com/musics-[F4VN] Abstract State Machines : A Method for High-Level System Design and Analy/ http://othermirror.com/torrentz-[F4VN] Abstract State Machines : A Method for High-Level System Design and Analy/ http://othermirror.com/subtitle-[F4VN] Abstract State Machines : A Method for High-Level System Design and Analy/ 
[F4VN] Abstract State Machines : A Method for High-Level System Design and Analy 
