New Added

Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 2000 : proceedings

Like Score+617

Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 2000 : proceedings
Original Title Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 2000 : proceedings
Author Gurevich, Yuri
Publication date

Topics Machine theory
Publisher Berlin , New York : Springer
Collection folkscanomy_miscellaneous, folkscanomy, additional_collections
Language English
Book Type EBook
Material Type Book
File Type PDF
Downloadable Yes
Support Mobile, Desktop, Tablet
Scan Quality: Best No watermark
PDF Quality: Good
Availability Yes
Price 0.00
Submitted By
Sketch the Cow
Submit Date
Abstract State Machines – Theory and Applications: International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 ProceedingsAuthor: Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele Published by Springer Berlin Heidelberg ISBN: 978-3-540-67959-2 DOI: 10.1007/3-540-44518-8Table of Contents:Abstract State Machines at the Cusp of the Millenium
Abstract State Machines and Pure Mathematics
Abstract State Machines and Computationally Complete Query Languages
On Verification of Refinements of Timed Distributed Algorithms
Objects + Views = Components?
XASM- An Extensible, Component-Based Abstract State Machines Language
Generic Facilities in Object-Oriented ASMs
Towards an ASM Thesis for Unconventional Algorithms
Partially Ordered Runs: A Case Study
Investigating Java Concurrency Using Abstract State Machines
Verifying Compilers and ASMs or ASMs for Uniform Description of Multistep Transformations
An ASM Dynamic Semantics for Standard ML
Modeling the Dynamics of UML State Machines
On the Formal Semantics of SDL-2000:A Compilation Approach Based on an Abstract SDL Machine
Description and Simulation of Microprocessor Instruction Sets Using ASMs
Symbolic Analysis of Transition Systems?
Encoding Abstract State Machines in PVS
Model Checking Abstract State Machines and Beyond
Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study
Report on a Practical Application of ASMs in Software DesignIncludes bibliographical references and index
We will be happy to hear your thoughts

Leave a reply

eBookmela
Logo
Register New Account
Reset Password
Compare items
  • Total (0)
Compare
0