9783540679592-3540679596-Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (Lecture Notes in Computer Science, 1912)

Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (Lecture Notes in Computer Science, 1912)

ISBN-13: 9783540679592
ISBN-10: 3540679596
Edition: 2000
Author: Martin Odersky, Yuri Gurevich, Philipp W. Kutter, Lothar Thiele
Publication date: 2000
Publisher: Springer
Format: Paperback 379 pages
FREE US shipping
Buy

From $16.50

Book details

ISBN-13: 9783540679592
ISBN-10: 3540679596
Edition: 2000
Author: Martin Odersky, Yuri Gurevich, Philipp W. Kutter, Lothar Thiele
Publication date: 2000
Publisher: Springer
Format: Paperback 379 pages

Summary

Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (Lecture Notes in Computer Science, 1912) (ISBN-13: 9783540679592 and ISBN-10: 3540679596), written by authors Martin Odersky, Yuri Gurevich, Philipp W. Kutter, Lothar Thiele, was published by Springer in 2000. With an overall rating of 3.8 stars, it's a notable title among other Business Technology (Databases & Big Data, Microsoft Programming, Programming, Software, Compiler Design, Programming Languages, Compilers) books. You can easily purchase or rent Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (Lecture Notes in Computer Science, 1912) (Paperback) from BooksRun, along with many other new and used Business Technology books and textbooks. And, if you're looking to sell your copy, our current buyback offer is $0.3.

Description

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.

Rate this book Rate this book

We would LOVE it if you could help us and other readers by reviewing the book