Visit our Christmas Gift Finder
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)
  • 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)
zoom

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)

(editor), (editor), (editor), (editor)
£67.99
Paperback 386 Pages / Published: 23/08/2000
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
The ASM 2000 workshop was held in the conference center of the Swiss Federal Institute of Technology (ETH) at Monte Verit a, Canton Ticino, March 19-24, 2000. The ASM formalism was proposed together with the thesis that it is suitable to model arbitrary computer systems on arbitrary abstraction levels. ASMs have been successfully used to analyze and specify various hardware and software systems including numerous computer languages. The aim of the workshop was to bring together domain-experts, using ASMs as a practical speci cation method, and theorists working with ASMs and related methods. In addition the workshop served as a forum on theoretical and practical topics that relate to ASMs in a broad sense. Three tutorials including hands-on experience with tools were organized by U. Glasser and G. del Castillo (on the topic \Specifying Concurrent Systems with ASMs"), H. Russ and N. Shankar (on the topic \A Tutorial Introduction to PVS"), M. Anlau , P.W. Kutter, and A. Pierantonio (on the topic \Developing Domain Speci c Languages"). In response to the organization committee's call for papers, 30 papers were submitted, each of which was independently reviewed by four members of the program committee. This volume presents a selection of 12 of the refereed papers and two reports on industrial ASM application at Siemens AG and Microsoft Research, together with contributions based on the invited talks given by A.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540679592
Number of pages: 386
Weight: 605 g
Dimensions: 235 x 155 x 20 mm
Edition: 2000 ed.

You may also be interested in...

Test Driven Development
Added to basket
The Clean Coder
Added to basket
£33.49
Paperback
Clean Code
Added to basket
£36.99
Paperback
Continuous Delivery
Added to basket
£44.49
Hardback
User Story Mapping
Added to basket
£27.99
Paperback
Agile Product Management with Scrum
Added to basket
The Algorithm Design Manual
Added to basket
Designing Data-Intensive Applications
Added to basket
Crystal Clear
Added to basket
£29.99
Paperback
User Stories Applied
Added to basket
£40.49
Paperback
Implementing Domain-Driven Design
Added to basket
Domain-Driven Design
Added to basket
£55.49
Hardback
Essential Scrum
Added to basket
£36.99
Paperback
Peopleware
Added to basket
£33.49
Paperback
Succeeding with Agile
Added to basket
£38.49
Paperback

Please sign in to write a review

Your review has been submitted successfully.