2008, ISBN: 3639036476
[EAN: 9783639036473], Neubuch, [PU: VDM Verlag Jun 2008], Computers & the Internet|General, Neuware - Model checking is a method used for testing the reliabilityof a system. The automata-… More...
AbeBooks.de Rheinberg-Buch, Bergisch Gladbach, Germany [53870650] [Rating: 5 (von 5)] NEW BOOK. Shipping costs:Versandkostenfrei. (EUR 0.00) Details... |
ISBN: 9783639036473
Paperback, [PU: VDM Verlag Dr. Mueller E.K.], Model checking is a method used for testing the reliability of a system. The automata-theoretic approach to model checking involves expressin… More...
BookDepository.com Shipping costs:Versandkostenfrei. (EUR 0.00) Details... |
ISBN: 9783639036473
Paperback, [PU: VDM Verlag Dr. Mueller e.K.], Model checking is a method used for testing the reliability of a system. The automata-theoretic approach to model checking involves expressin… More...
BookDepository.com Shipping costs:sem custos de envio. (EUR 0.00) Details... |
2008, ISBN: 9783639036473
VDM Verlag Dr. Mueller e.K. Paperback, 80 Seiten, Publiziert: 2008-06-10T00:00:01Z, Produktgruppe: Book, 0.12 kg, Computer Science, Computing & Internet, Subjects, Books, Amazon, Online S… More...
amazon.co.uk Book Depository Shipping costs:Usually dispatched within 4 to 5 days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.75) Details... |
ISBN: 9783639036473
Theory and Application of Büchi Automata Theory-and-Application-of-B-chi-Automata~~Aniket-Mahanti Technology>Online Life>Online Life Paperback, VDM Verlag Dr. Mueller e.K.
BarnesandNoble.com new Shipping costs:zzgl. Versandkosten., plus shipping costs Details... |
2008, ISBN: 3639036476
[EAN: 9783639036473], Neubuch, [PU: VDM Verlag Jun 2008], Computers & the Internet|General, Neuware - Model checking is a method used for testing the reliabilityof a system. The automata-… More...
ISBN: 9783639036473
Paperback, [PU: VDM Verlag Dr. Mueller E.K.], Model checking is a method used for testing the reliability of a system. The automata-theoretic approach to model checking involves expressin… More...
ISBN: 9783639036473
Paperback, [PU: VDM Verlag Dr. Mueller e.K.], Model checking is a method used for testing the reliability of a system. The automata-theoretic approach to model checking involves expressin… More...
2008, ISBN: 9783639036473
VDM Verlag Dr. Mueller e.K. Paperback, 80 Seiten, Publiziert: 2008-06-10T00:00:01Z, Produktgruppe: Book, 0.12 kg, Computer Science, Computing & Internet, Subjects, Books, Amazon, Online S… More...
ISBN: 9783639036473
Theory and Application of Büchi Automata Theory-and-Application-of-B-chi-Automata~~Aniket-Mahanti Technology>Online Life>Online Life Paperback, VDM Verlag Dr. Mueller e.K.
Bibliographic data of the best matching book
Author: | |
Title: | |
ISBN: |
Details of the book - Theory and Application of Büchi Automata
EAN (ISBN-13): 9783639036473
ISBN (ISBN-10): 3639036476
Paperback
Publishing year: 2008
Publisher: VDM Verlag Dr. Mueller e.K.
80 Pages
Weight: 0,144 kg
Language: eng/Englisch
Book in our database since 2008-06-18T03:05:09-04:00 (New York)
Detail page last modified on 2022-04-14T07:08:07-04:00 (New York)
ISBN/EAN: 3639036476
ISBN - alternate spelling:
3-639-03647-6, 978-3-639-03647-3
Alternate spelling and related search-keywords:
Book title: buchi, automata, automaton
< to archive...