Skip to main content
Virtual Bookshelf
Browse Shelves
Search Books
Popular Shelves
主題書房
Search Books
English
🇹🇼 繁體中文
🇺🇸 English
Login
Register
Home
Search Books
Reasoning in event-b...
Reasoning in event-based distributed systems
Author:edited by Sven Helmer, Alexandra Poulovassilis, Fatos Xhafa.
Publisher:Springer-Verlag Berlin Heidelberg
ISBN:9783642197246 (electronic bk.) ; 9783642197239 (paper)
Publication Date:2011
其他作者:Helmer, Sven. ; Poulovassilis, Alexandra. ; Xhafa, Fatos.
語言:zh
出版地:Berlin, Heidelberg :
Description
xiii, 308 p. ::ill., digital ;:24 cm.
Search Same Author