Tracked 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 formal methods in computer-aided design
formal methods in computer-aided designformal methods in computer-aided designformal methods in computer-aided design
Type
Physical Book
Publisher
Language
English
Pages
445
ISBN
3540237380
ISBN13
9783540237389
Categories

formal methods in computer-aided design

Cheaper New Book Imported to Taiwan
Delivery: 04 Aug - 17 Aug Shipping: 13 to 17 business days.
NT$ 1,864
Faster New Book Imported to Taiwan
Delivery: 23 Jul - 31 Jul Shipping: 5 to 6 business days.
NT$ 2,323
NT$ 1,864

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

Go to My Wishlists
Calculate shipping cost

Synopsis "formal methods in computer-aided design"

this book constitutes the refereed proceedings of the 5th international conference on formal methods in computer-aided design, fmcad 2004, held in austin, texas, usa in november 2004. the 29 revised full papers presented together with the abstract of an invited talk were carefully reviewed and selected from 69 submissions. the papers address all current issues on tools, methods, algorithms, and foundational theory for the application of formalized reasoning to all aspects of computer-aided systems design, including specification, verification, synthesis, and testing.

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