This book constitutes the refereed proceedings of the 10th International Conference on Algebraic Methodology and Software Technology, AMAST 2004, held in Stirling, Scotland, UK in July 2004. The 35 revised full papers presented together with abstracts of 5 invited talks and an invited paper were carefully reviewed and selected from 63 submissions. Among the topics covered are all current issues in formal methods related to algebraic approaches to software engineering including abstract data types, process algebras, algebraic specification, model checking, abstraction, refinement, model checking, state machines, rewriting, Kleene algebra, programming logic, etc.
FREE Two-Day Shipping for students on millions of items. Learn more |
Book Description
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
First Sentence:
A common technique for solving programming problems is to express the problem in terms of solving a system of so-called "simultaneous" equations (a collection of equations in a number of unknowns that are often mutually recursive). Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
replica specification, strong monad morphism, creational effects, interprocedural analysis method, query evaluation programs, distributed groupware systems, exception monad transformer, institution comorphism, nonempty kinds, configured specifications, exception monads, forward morphism, existential quantification distribute, metalogical statements, membership equational logic, instance method invocation, adaptor specification, membership equational theories, replay strategy, target conjecture, plan revision rules, lower closure operators, type correct programs, unbounded sequence numbers, membership equational theory Key Phrases - Capitalized Phrases (CAPs): (learn more)
Springer-Verlag Berlin Heidelberg, Lecture Notes, International Workshop, Artificial Intelligence, Electronic Notes, Prentice Hall, Springer Verlag, University of Nijmegen, Cambridge University Press, Formal Aspects of Computing, Internet Telephony, New York, Interactive Voice Response, José Meseguer, Fundamental Approaches, Universität Augsburg, Utrecht University, Abdessamad Imine, Azadeh Farzan, Gérald Oster, Intelligent Networks, Kluwer Academic Publishers, Pascal Molli, University of Illinois, University of Kent New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
A common technique for solving programming problems is to express the problem in terms of solving a system of so-called "simultaneous" equations (a collection of equations in a number of unknowns that are often mutually recursive). Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
replica specification, strong monad morphism, creational effects, interprocedural analysis method, query evaluation programs, distributed groupware systems, exception monad transformer, institution comorphism, nonempty kinds, configured specifications, exception monads, forward morphism, existential quantification distribute, metalogical statements, membership equational logic, instance method invocation, adaptor specification, membership equational theories, replay strategy, target conjecture, plan revision rules, lower closure operators, type correct programs, unbounded sequence numbers, membership equational theory Key Phrases - Capitalized Phrases (CAPs): (learn more)
Springer-Verlag Berlin Heidelberg, Lecture Notes, International Workshop, Artificial Intelligence, Electronic Notes, Prentice Hall, Springer Verlag, University of Nijmegen, Cambridge University Press, Formal Aspects of Computing, Internet Telephony, New York, Interactive Voice Response, José Meseguer, Fundamental Approaches, Universität Augsburg, Utrecht University, Abdessamad Imine, Azadeh Farzan, Gérald Oster, Intelligent Networks, Kluwer Academic Publishers, Pascal Molli, University of Illinois, University of Kent New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 63
books:
See all 63 books this book cites
- Computer Science by Richard Jones on 6 pages
- Model Checking by Edmund M. Clarke Jr. on 5 pages
- Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings (Lecture Notes in Computer Science) by Teodor Rus on 5 pages
- A Discipline of Programming (Prentice-Hall Series in Automatic Computation) by Edward W. Dijkstra on page 41, page 225, and page 489
- Proceedings of the 18th International Conference on Software Engineering: March 25-29, 1996 Berlin, Germany (International Conference on Software ... Conference on Software Engineering) by IEEE on page 18, page 147, and page 302
See all 63 books this book cites
Books on Related Topics
(learn more)
|
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Computer Science > Artificial Intelligence
- Books > Computers & Technology > Computer Science > Software Engineering > Methodology
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Software Development
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > UML
- Books > Computers & Technology > Software
- Books > New & Used Textbooks > Computer Science
- Books > Science & Math > Mathematics
