Abstract State Machines, B and Z

Abstract State Machines, B and Z

This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and...

Saved in:

書目詳細資料
其他作者:	Börger, Egon
格式:	圖書
語言:	English
出版:	Springer 2017
主題:	Computer Science Machines Software Engineering ; Programming Languages. 004
在線閱讀:	http://repository.vnu.edu.vn/handle/VNU_123/23860
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	Vietnam National University, Hanoi
語言:	English

相似書籍

Practical API Design
由: Tulach, Jaroslav
出版: (2017)

Diamonds are a girl's best friend: Partial order reduction for timed automata with abstractions
由: HANSEN, Henri, et al.
出版: (2014)

Formal Methods for Computational Systems Biology
出版: (2017)

Making Globally Distributed Software Development a Success Story
出版: (2017)

Optimal virtual machine migration
由: Ng, Li Ting.
出版: (2013)

High Performance Computing - HiPC 2008
出版: (2017)

Computational Geometry : Algorithms and Applications
由: Berg, Mark ; Kreveld, Marc ; Overmars, Mark ; Schwarzkopf, Otfried Cheong
出版: (2017)

Machine Learning in Python : essential techniques for predictive analysis
由: Bowles, Michael
出版: (2018)

Verifying stateful timed CSP using implicit clocks and zone abstraction
由: SUN, Jun, et al.
出版: (2009)

Instruction and experimentation system: A teacher's aide to teaching Z80
由: Ng, Emilie T., et al.
出版: (1988)

Generating abstract and real-world coding exercises with adjustable difficulty
由: Tiam-Lee, Thomas James Z., et al.
出版: (2018)

Implementation and Applications of Automata
出版: (2017)

Service Availability
由: Takashi Nanya, Fumihiro Maruyama, András Pataricza, Miroslaw Malek.
出版: (2017)

Generating programming exercises with changeable complexity and level of abstraction
由: Tiam-Lee, Thomas James Z., et al.
出版: (2018)

Pemrograman Training Unit (Vacuum Held Handling Device) dengan Logic Panel S070 Autonics
由: FAWZI, Achmad
出版: (2013)

War machines G: a partial-order planning system for a war game domain
由: Macaspac, Kane Chelster M., et al.
出版: (2004)

Measurement of the Λb polarization in Z decays
由: BUSKULIC, D.; et al.,, et al.
出版: (1996)

Hybrid Filipino-English machine translation system
由: Fontanilla, Gian Kristian A., et al.
出版: (2008)

Machine learning based energy evaluation using air temperature and air velocity
由: Mohamed Farhan Mohamed Farouk
出版: (2020)

MARC: The multi-function armless robot (Educational Robot Trainer)
由: Lim, Tina Marie O., et al.
出版: (1989)

Abstracting Events for Data Mining
由: David LO,, et al.
出版: (2011)

Case-based reasoning untuk pendukung diagnosa penyakit kulit dan kelamin pada manusia
由: ABDIANSAH, Abdiansyah
出版: (2008)

Network performance analysis : using the J programming language
由: Holt, Alan, 1965-
出版: (2017)

A hybrid English-Filipino machine translation system
由: Roxas, Rachel Edita O.
出版: (2006)

Smart contract analysis and verification
由: Qiu, Haoze
出版: (2020)

Modeling and verifying hierarchical real-time systems using stateful timed CSP
由: SUN, Jun, et al.
出版: (2013)

Learning translation rules for a bidirectional English-Filipino machine translator
由: Tan, Michelle Wendy G., et al.
出版: (2006)

PC-based retrofitting designed for the automation of a conventional milling machine
由: Bayona, Richard Alducente
出版: (2000)

Multi-Agent-Based Simulation VIII
由: Jaime G. Carbonell, J\"org Siekmann, Luis Antunes, Mario Paolucci, Emma Norling.
出版: (2017)

Web and Wireless Geographical Information Systems
由: David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Michela Bertolotto, Cyril Ray, Xiang Li.
出版: (2017)

Ubiquitous Intelligence and Computing
由: Sandnes, Frode Eika
出版: (2017)

Resilient Networks and Services
由: David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, David Hausheer, Jürgen Schönwälder.
出版: (2017)

Cellular Automata
由: David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Hiroshi Umeo, Shin Morishita, Katsuhiro Nishinari, Toshihiko Komatsuzaki, Stefania Bandini.
出版: (2017)

Robotica Mobile
由: Carlo Ghezzi, Paolo Ancilotti, Carlo Batini, Stefano Ceri, Antonio Corradi, Alberto Bimbo, Evelina Lamma, Paola Mello, Ugo Montanari, Paolo Prinetto, Ulrich Nehmzow.
出版: (2017)

Cognition, Communication and Interaction
由: Satinder Gill.
出版: (2017)

Wireless Systems and Mobility in Next Generation Internet
由: David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Llorenç Cerdà-Alabern.
出版: (2017)

Interactive Systems. Design, Specification, and Verification
出版: (2017)

FM 2008: Formal Methods
出版: (2017)

Grid Middleware and Services
出版: (2017)

SOFSEM 2008: Theory and Practice of Computer Science
出版: (2017)