Computer-Aided Verification of Coordinating Processes : The Automata-Theoretic Approach /

Mostrar otras versiones (1)
Detalles Bibliográficos
Autor principal: Kurshan, R. P., 1943- (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Princeton, New Jersey : Princeton University Press, [1994]
Colección:Book collections on Project MUSE.
Temas:
System design.
Manufacturing processes > Planning > Data processing.
Expert systems (Computer science) > Verification.
Computational complexity.
TECHNOLOGY & ENGINEERING > Technical & Manufacturing Industries & Trades.
TECHNOLOGY & ENGINEERING > Manufacturing.
TECHNOLOGY & ENGINEERING > Industrial Technology.
TECHNOLOGY & ENGINEERING > Industrial Engineering.
MATHEMATICS > Complex Analysis.
Conception de systemes.
Systemes experts (Informatique) > Verification.
Complexite de calcul (Informatique)
Production > Planification > Informatique.
Electronic books.
Acceso en línea:Texto completo

Ejemplares similares

Ejemplares similares