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 types for proofs and programs
Type
Physical Book
Publisher
Language
English
Pages
383
ISBN
3540580859
ISBN13
9783540580850
Categories

types for proofs and programs

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 "types for proofs and programs"

this volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the esprit basic research action 6453 types for proofs and programs in nijmegen, the netherlands, in may 1993.as the whole esprit bra 6453, this volume is devoted to the theoretical foundations, design and applications of systems for theory development. such systems help in designing mathematical axiomatisation, performing computer-aided logical reasoning, and managing databases of mathematical facts; they are also known as proof assistants or proof checkers.

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