Millions of books in English, Spanish and other languages. Free UK delivery 

menu

0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional
portada theory and application of buchi automata
Type
Physical Book
Publisher
Author
Pages
80
ISBN
3639036476
ISBN13
9783639036473
Categories

theory and application of buchi automata

Aniket Mahanti (Author) · vdm verlag dr. muller aktiengesells · Physical Book

theory and application of buchi automata - aniket mahanti

New Book

£ 48.27

Free UK Delivery
  • Condition: New

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

Go to My Wishlists
Origin: Spain (Import costs included in the price)
It will be shipped from our warehouse between Wednesday, July 10 and Wednesday, July 17.
You will receive it anywhere in United Kingdom between 1 and 3 business days after shipment.

Synopsis "theory and application of buchi automata"

model checking is a method used for testing the reliability of a system. the automata-theoretic approach to model checking involves expressing systems in terms of finite state automata, and using algorithms that automatically determine the satisfiabil ...

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.

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