Coverart for item
The Resource Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000 : proceedings, Yuri Gurevich [and others] (eds.)

Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000 : proceedings, Yuri Gurevich [and others] (eds.)

Label
Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000 : proceedings
Title
Abstract state machines
Title remainder
theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000 : proceedings
Statement of responsibility
Yuri Gurevich [and others] (eds.)
Title variation
ASM 2000
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Dewey number
511.3
Illustrations
illustrations
Index
index present
LC call number
QA267
LC item number
.A25 2000
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
Gurevich, Yuri
Series statement
Lecture notes in computer science
Series volume
1912
http://library.link/vocab/subjectName
Machine theory
Label
Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000 : proceedings, Yuri Gurevich [and others] (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
  • Objects + Views = Components?
  • M. Odersky
  • Xasm -- An Extensible, Component-Based ASM Language
  • M. Anlauff
  • Generic Facilities in Object-Oriented ASMs
  • A.V. Zamulin
  • Towards an ASM Thesis for Unconventional Algorithms
  • W. Reisig
  • Partially Ordered Runs: A Case Study
  • Y. Gurevich and D. Rosenzweig
  • Abstract State Machines at the Cusp of the Millennium
  • E. Borger
  • Abstract State Machines and Pure Mathematics
  • A. Blass
  • Abstract State Machines and Computationally Complete Query Languages
  • A. Blass, Y. Gurevich and J. Van den Bussche
  • On Verification of Refinements of Timed Distributed Algorithms
  • J. Cohen and A. Slissenko
Control code
44841634
Dimensions
cm.
Extent
x, 379 pages
Isbn
9783540679592
Isbn Type
(softcover : alk. paper)
Lccn
00064121
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Label
Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000 : proceedings, Yuri Gurevich [and others] (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
  • Objects + Views = Components?
  • M. Odersky
  • Xasm -- An Extensible, Component-Based ASM Language
  • M. Anlauff
  • Generic Facilities in Object-Oriented ASMs
  • A.V. Zamulin
  • Towards an ASM Thesis for Unconventional Algorithms
  • W. Reisig
  • Partially Ordered Runs: A Case Study
  • Y. Gurevich and D. Rosenzweig
  • Abstract State Machines at the Cusp of the Millennium
  • E. Borger
  • Abstract State Machines and Pure Mathematics
  • A. Blass
  • Abstract State Machines and Computationally Complete Query Languages
  • A. Blass, Y. Gurevich and J. Van den Bussche
  • On Verification of Refinements of Timed Distributed Algorithms
  • J. Cohen and A. Slissenko
Control code
44841634
Dimensions
cm.
Extent
x, 379 pages
Isbn
9783540679592
Isbn Type
(softcover : alk. paper)
Lccn
00064121
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...