Concepts, algorithms and tools for model checking / Joost-Pieter Katoen.
Series Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung ; v. 32, no. 1Detalles de publicación: Erlangen : IMMD, 1999.Descripción: 292 p. ; 21 cmTema(s):Tipo de ítem | Biblioteca actual | Signatura | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|
Libro | FaMAF Sección Computación | C F3.1 K19 | Disponible | 17620 |
Total de reservas: 0
Lecture Notes of the Course Mechanised Validation of Parallel Systems