Computer-aided verification of coordinating processes : the automata-theoretic approach /

Mostrar otras versiones (1)
Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Kurshan, R. P., 1943- (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Princeton, New Jersey : Princeton University Press, [1994]
Colección:Princeton series in computer science.
Temas:
Manufacturing processes > Planning > Data processing.
Computational complexity.
Expert systems (Computer science) > Verification.
System design.
Production planning > Data processing.
Production > Planification > Informatique.
Complexité de calcul (Informatique)
Systèmes experts (Informatique) > Vérification.
Conception de systèmes.
MATHEMATICS > Complex Analysis.
TECHNOLOGY & ENGINEERING > Industrial Engineering.
TECHNOLOGY & ENGINEERING > Industrial Technology.
TECHNOLOGY & ENGINEERING > Manufacturing.
TECHNOLOGY & ENGINEERING > Technical & Manufacturing Industries & Trades.
Computational complexity
Expert systems (Computer science) > Verification
Manufacturing processes > Planning > Data processing
System design
Acceso en línea:Texto completo

Internet

Texto completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares