Concepts, algorithms and tools for model checking /

Bibliographic Details
Main Author: Katoen, Joost-Pieter
Format: Book
Published: Erlangen : IMMD, 1999.
Series:Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung, v. 32, no. 1
Subjects:

MARC

LEADER 00000nam a22000007a 4500
003 AR_CdUFM
005 20160908123924.0
008 111129s1999 gw||||| |||| 00| 0 eng d
040 |a AR_CdUFM  |c AR_CdUFM 
100 1 |9 8689  |a Katoen, Joost-Pieter. 
245 1 0 |a Concepts, algorithms and tools for model checking /  |c Joost-Pieter Katoen. 
260 |a Erlangen :   |b IMMD,  |c 1999. 
300 |a 292 p. ;  |c 21 cm. 
490 0 |a Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung,   |x 0344-3515 ;   |v v. 32, no. 1 
500 |a Lecture Notes of the Course Mechanised Validation of Parallel Systems 
650 4 |a Specifying and verifying and reasoning about programs. 
650 4 |a Logics. 
650 4 |a Especificación. 
650 4 |a Verificación. 
650 4 |a Razonamiento sobre programas. 
942 |c LIBRO  |2   
945 |a MCR  |d 2011-11-29 
952 |0 0  |1 0  |2 CCS  |4 0  |6 C_F31_K19  |7 0  |9 15146  |a MMA  |b MMA  |c 4  |d 2008-06-09  |e Katoen Joost-Pieter  |l 4  |o C F3.1 K19   |p 17620  |r 2023-01-24  |s 2012-07-12  |w 2008-06-09  |y LIBRO 
999 |c 11852  |d 11852