你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada recent trends in algebraic development techniques
Type
Physical Book
Publisher
Language
English
Pages
457
ISBN
3540205373
ISBN13
9783540205371
Categories

recent trends in algebraic development techniques

Cheaper New Book Imported to Taiwan
Delivery: 16 Oct - 26 Oct Shipping: 15 to 16 business days.
NT$ 1,959
Faster New Book Imported to Taiwan
Delivery: 14 Oct - 22 Oct Shipping: 13 to 14 business days.
NT$ 2,194
NT$ 1,959

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "recent trends in algebraic development techniques"

this book constitutes the thoroughly refereed post-proceedings of the 16th international workshop on algebraic development techniques, wadt 2002, held at frauenchiemsee, germany in september 2002. the 20 revised full papers presented together with 6 invited papers were carefully improved and selected from 44 workshop presentations during two rounds of reviewing. the papers are devoted to topics like formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed, and mobile systems, and algebraic and co-algebraic methods.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews