Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Abstract State Machines. A Method for High-Level System Design and Analysis

Abstract State Machines. A Method for High-Level System Design and Analysis


Book Informaton

Author

Egon B¨orger, and Robert Stärk

Year of Publication

2003

Publisher

Springer-Verlag

Language

en

ARI Id

1673473658661


Find on

World Cat

Internet Archive


This page has been accessed 5 times.
Citation Options
Download Citation

Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo