Verification of systems and circuits using LOTOS, Petri Nets, and CCS / by Michael Yoeli and Rakefet Kol
Tipo de material: TextoSeries Wiley series on parallel and distributed computingEditor: Hoboken, New Jersey : Wiley-Interscience, c2008Descripción: xv, 231 páginas : ilustracionesTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 9780471704492 (encuadernado en tela); 0471704490 (encuadernado en tela)Tema(s): Circuitos integrados -- Verificación | Software para computadora -- Verificación | LOTOS (Lenguaje de programacion para computadora) | Redes de PetriClasificación CDD: 621.3815/48 Clasificación LoC:TK7874.58 | Y64Tipo de ítem | Biblioteca actual | Colección | Clasificación | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|---|
Libros | Libros Libros | Coleccion General | TK7874.58 Y64 (Navegar estantería(Abre debajo)) | 1 | Disponible | 116247 |
Total de reservas: 0
compra 2013/06/06 1045.00
No hay comentarios en este titulo.