@BOOK{ Book!D - 92936546,
AUTHOR = "",
TITLE = "Abstract state machines, B and Z",
LIBRARY= "كتابخانه مركزی و مركز اسناد دانشگاه مازندران",
SUBJECT = "B method (Computer science) ; Congresses. ; Machine theory ; Congresses. ; Z (Computer program language) ; Congresses. ;",
URL = "/book/92936546/Abstract-state-machines-B-and-Z/"}