Name: theory and application of buchi automata
Price: 46.58 EUR
Availability: InStock
Author: aniket mahanti
ISBN: 9783639036473

portada theory and application of buchi automata

Formato

Libro Físico

Editorial

vdm verlag dr. muller aktiengesells

Autor

aniket mahanti

N° páginas

ISBN

3639036476

ISBN13

9783639036473

Categorías

Tecnología de la información: cuestiones generales

theory and application of buchi automata

Aniket Mahanti (Autor) · vdm verlag dr. muller aktiengesells · Libro Físico

Libro Nuevo

46,58 €

49,03 €

Ahorras: 2,45 €

5% descuento

Envío normal

Se enviará desde nuestra bodega entre el Viernes 14 de Junio y el Martes 18 de Junio.

Lo recibirás en cualquier lugar de España entre 1 y 5 días hábiles luego del envío.

Reseña del libro "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 ...