Principles of model checking /

Principles of model checking /

Bibliographic Details
Main Author: Baier, Christel
Other Authors: Katoen, Joost-Pieter, 1964-
Format: Book
Language:English
Published: Cambridge, Mass. : MIT, 2008.
Subjects:
Lógica y significado de programas.
Lógica de programas.
Significado de programas.
Verificacción de programas.
Logics and meanings of programs.
Logic of programs.
Meanings of programs.
Computer systems > Verification.
Computer software > Verification.
Verifying programs.
Model checking.
Online Access:Table of contents only

MARC

LEADER 00000nam a22000007a 4500
001 15002677
003 AR_CdUFM
005 20170712140204.0
008 070911s2008 maua b 001 0 eng
020 |a 9780262026499  
040 |a DLC  |c DLC  |d BTCTA  |d BAKER  |d YDXCP  |d UKM  |d C#P  |d DLC 
100 1 |9 855  |a Baier, Christel 
245 1 0 |a Principles of model checking /  |c Christel Baier, Joost-Pieter Katoen. 
260 |a Cambridge, Mass. :  |b MIT,  |c 2008. 
300 |a xvii, 975 p. :  |b il. ;  |c 26 cm. 
500 |a La biblioteca posee 2 ej. 
504 |a Incluye referencias bibliográficas (p. 931-964) e índice. 
541 |a Importación de Publicaciones  |c Compra: Programa de Bibliotecas. Res. 591/09  |d 2010-09-15  |e 20652 ej.2  |h $292  |o Libro 
650 4 |a Lógica y significado de programas. 
650 4 |a Lógica de programas. 
650 4 |a Significado de programas. 
650 4 |a Verificacción de programas. 
650 4 |a Logics and meanings of programs. 
650 4 |a Logic of programs. 
650 4 |a Meanings of programs. 
650 4 |a Computer systems  |x Verification. 
650 4 |a Computer software  |x Verification. 
650 4 |a Verifying programs. 
650 4 |a Model checking. 
700 1 |9 8690  |a Katoen, Joost-Pieter,  |d 1964- 
856 4 1 |3 Table of contents only  |u http://www.loc.gov/catdir/toc/ecip0727/2007037603.html 
942 |c LIBRO  |2   
945 |a MCR  |d 2010-06-18 
952 |0 0  |1 0  |2 CCS  |4 0  |6 C_F3_B152  |7 0  |9 19690  |a MMA  |b MMA  |c 4  |d 2010-06-18  |e D'Argenio Pedro  |g 0.00  |l 20  |o C F3 B152  |p 20430  |r 2023-01-24 00:00:00  |s 2022-09-12  |w 2010-06-18  |y LIBRO 
952 |0 0  |1 0  |2 CCS  |4 0  |6 C_F3_B152_EJ2  |7 0  |9 19906  |a MMA  |b MMA  |c 4  |d 2010-09-15  |e Programa de Bibliotecas Res. 591/09: Importación de Publicaciones  |g 0.00  |l 16  |o C F3 B152 ej.2  |p 20652  |r 2023-01-24 00:00:00  |s 2022-10-11  |w 2010-09-15  |y LIBRO 
955 |a jf02 2007-09-11  |c jf02 2007-09-11  |a aa24 2007-09-11  |a ps10 2008-04-30 1 copy rec'd., to CIP ver.  |a ld11 2008-06-13 copy 2 added 
999 |c 15448  |d 15447 

Similar Items