Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits.
Create an account for free
Contact
How to shop
Help
Delivery
Austrian Post 5.49 €
GLS courier 4.99 €
DPD courier 4.49 €
DPD point 3.49 €
Shopping guide
My account
▸
Empty :-(
0
Algebraic Methodology and Software Technology
11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings
Language
English
English
Book
Paperback
This is the refereed proceedings of the 11th International Conference on Algebraic Methodology and S...
Full description
Libristo code: 01562279
?
111 b
111 b
45.49
€
VAT included
In stock at our supplier
Shipping in 5-8 days
Delivery to Austria
Delivery to Austria
Up to 30 days for returns
Customers also purchased
/
Paperback
11.99
€
/
Paperback
25.99
€
This is the refereed proceedings of the 11th International Conference on Algebraic Methodology and Software Technology. The book collects 24 revised full papers together with 3 system demonstrations and 3 invited talks. Coverage includes current issues in formal methods related to algebraic approaches and to software engineering including abstract data types, process algebras, algebraic specification, model checking, abstraction, refinement, mu-calculus, state machines, rewriting, Kleene algebra, programming logic, and formal software development.
Actress
&
Polyglot
EWA KASP
for
Play video
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
About the book
Full name
Algebraic Methodology and Software Technology
Author
Michael Johnson, Varmo Vene
Language
English
English
Binding
Book - Paperback
Date of issue
2006
Number of pages
392
EAN
9783540356332
ISBN
3540356339
Libristo code
01562279
Weight
1260
Dimensions
155 x 235 x 22
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Paperback
7.19
€
/
Paperback
25.59
€
