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

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Gurevich, Yuri
Format: eBook
Language:English
Published: Berlin ; New York : Springer, [2000]
Series:Lecture notes in computer science ; 1912.
Subjects:
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:1 online resource (379 pages) : illustrations
Bibliography:Includes bibliographical references and index.
ISBN:3540679596 (softcover : alk. paper)
9783540679592 (softcover : alk. paper)