Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / Edition 1

Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / Edition 1

ISBN-10:
3540679596
ISBN-13:
9783540679592
Pub. Date:
08/28/2000
Publisher:
Springer Berlin Heidelberg

Paperback - Rent for

Select a Purchase Option (2000)
  • purchase options
    $94.80 $109.00 Save 13% Current price is $94.8, Original price is $109. You Save 13%.
  • purchase options

Overview

Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / Edition 1

This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Abstract State Machines, ASM 2000, held in Monte Verita, Switzerland in March 2000.
The 12 revised full papers presented were carefully reviewed and selected from 30 submissions. Also included are an introductory overview, two reports on industrial ASM applications, as well as six contributions based on invited talks. All in all, the volume competently presents the state of the art in research and applications of abstract state machines.

Product Details

ISBN-13: 9783540679592
Publisher: Springer Berlin Heidelberg
Publication date: 08/28/2000
Series: Lecture Notes in Computer Science Series , #1912
Edition description: 2000
Pages: 391
Product dimensions: 6.10(w) x 9.25(h) x 0.04(d)

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews