@BOOK{ Book!D - 72156986,
AUTHOR = "Borger, E.)Egon(",
TITLE = "Abstract state machines: a method for high-level system design and analysis",
LIBRARY= "كتابخانه مركزی دانشگاه صنعتی شریف",
SUBJECT = "، System design,، Computer software-- Development,، Embedded computer systems",
URL = "/book/72156986/Abstract-state-machines-a-method-for-highlevel-s/"}