Algebraic Methodology and Software Technology Image close
Algebraic Methodology and Software Technology
Algebraic Methodology and Software Technology
Show Hide Adult Content
Algebraic Methodology and Software Technology close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Algebra

Algebraic Methodology and Software Technology

8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$295.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $73.75 with Afterpay Learn more

6 weekly interest-free payments of $49.17 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 25 Jun - 5 Jul using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$200.00
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 14 Jul 2024
Software Engineering Education
$154.00
Software Engineering Education
Paperback / softback
Available - Usually ships in 3-4 weeks
Component Deployment
$148.00
Component Deployment
Paperback / softback
Available - Usually ships in 3-4 weeks
Combinatorial Image Analysis
$154.00
Combinatorial Image Analysis
Paperback / softback
Available - Usually ships in 3-4 weeks
Directions in Human Factors for Interactive Systems by Henry Ledgard
$140.00
Directions in Human Factors for Interactive Systems
by Henry Ledgard ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Aspects in Security and Trust
$150.00
Formal Aspects in Security and Trust
Paperback / softback
Available - Usually ships in 3-4 weeks
Pervasive Computing
$150.00
Pervasive Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Software and Compilers for Embedded Systems
$148.00
Software and Compilers for Embedded Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Spatial Databases
$151.00
Advances in Spatial Databases
Paperback / softback
Available - Usually ships in 3-4 weeks
Semantics of Concurrent Computation
$138.00
Semantics of Concurrent Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Rechnerstrukturen und Betriebsprogrammierung
$162.00
Rechnerstrukturen und Betriebsprogrammierung
Paperback / softback
Available - Usually ships in 3-4 weeks
Recent Advances in Parallel Virtual Machine and Message Passing Interface
$150.00
Recent Advances in Parallel Virtual Machine and Message Passing...
Paperback / softback
Available - Usually ships in 3-4 weeks
Software Process Improvement
$148.00
Software Process Improvement
Paperback / softback
Available - Usually ships in 3-4 weeks
Graph-Theoretic Concepts in Computer Science
$157.00
Graph-Theoretic Concepts in Computer Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Euro-Par '96 - Parallel Processing
$304.00
Euro-Par '96 - Parallel Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
Software Engineering Research and Applications
$151.00
Software Engineering Research and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the refereed proceedings of the 8th International Conference on Algebraic Methodology and Software Technology, AMAST 2000, held in Iowa City, Iowa, USA, in May 2000.The 20 revised full papers presented together with eight invited contributions were carefully reviewed and selected from a total of 53 submissions. Among the topics covered are all current issues in formal methods related to algebraic approaches including abstract data types, abstract state machines, algebraic state machines, algebraic compilers, state charts, process algebras, etc. The algebraic methods are applied to reactive systems, safety-critical systems, concurrency, Java, UML, etc.
Release date NZ
May 3rd, 2000
Audience
  • Professional & Vocational
Contributor
  • Edited by Teodor Rus
Illustrations
XI, 545 p.
Pages
545
Dimensions
155x233x29
ISBN-13
9783540675303
Product ID
3110584

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Algebra
Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Non-Fiction >
Reference >
Research & information: general >
Information theory
Books >
Computers & Internet >
Computer programming / software development >
Algorithms & data structures
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Databases
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation