Обложка книги Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings (Lecture Notes in Computer Science)

Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings (Lecture Notes in Computer Science)

ISBN: 3540220941;
Издательство: Springer
Страниц: 235

Book DescriptionThis book constitutes the refereed proceedings of the 11th International Workshop on Abstract State Machines, ASM 2004, held in Lutherstadt Wittenberg, Germany, in May 2004. The 12 revised full research papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book. The papers reflect state-of-the-art research and development of the abstract state machine method for the design and analysis of complex software and hardware systems. Besides theoretical results and methodological progress, applications in various fields are studied as well.

Похожие книги:

Mark J. P. Wolf, Mark J. P. Wolf
Abstracting Reality explores how digital technology and…
Born in Paris in 1911 and a New Yorker since 1938, Loui…
Official Government Edition.A Provides tables and graph…
Concurrency provides a thoroughly updatedA approach to …
The American artist Cy Twombly is regarded as one of th…

Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
High Quality Content by WIKIPEDIA articles Eine abstrak…

Lambert M. Surhone
Abstract State Machine Language (AsmL) is a programming…
Воспроизведено в оригинальной авторской орфографии изда
Abstract State Machine Language (AsmL) is a programming

North Carolina. Secretary of State,Grimes, J. Bryan (John Bryan), 1868-1923,North Carolina. Trustees of the public libraries. [from old catalog]
Воспроизведено в оригинальной авторской орфографии изда