Verification of sequential and concurrent programs /

Bibliographic Details
Main Author:	Apt, Krzysztof R., 1949-
Other Authors:	Boer, Frank Sipke de, 1956-, Olderog, Ernst-Rüdiger, 1955-
Format:	Book
Language:	English
Published:	London : Springer, 2009.
Edition:	3rd ed.
Series:	Texts in computer science
Subjects:	Lógica y significado de programas. Técnicas de programación. Logics and meanings of programs. programming techniques.

MARC


LEADER	00000nam a22000007a 4500
001	15805477
003	AR_CdUFM
005	20190408161539.0
008	090707s2009 mau \| 00\| 0 eng
020			\|a 9781848827448
040			\|a DLC \|c DLC
100	1		\|9 555 \|a Apt, Krzysztof R., \|d 1949-
245	1	0	\|a Verification of sequential and concurrent programs / \|c Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog.
250			\|a 3rd ed. \|b extended
260			\|a London : \|b Springer, \|c 2009.
300			\|a xxviii, 502 p. ; \|c 25 cm.
490	0		\|a Texts in computer science
504			\|a Includes bibliographical references.
650		4	\|a Lógica y significado de programas.
650		4	\|a Técnicas de programación.
650		4	\|a Logics and meanings of programs.
650		4	\|a programming techniques.
700	1		\|a Boer, Frank Sipke de, \|d 1956- \|9 1762
700	1		\|9 12641 \|a Olderog, Ernst-Rüdiger, \|d 1955-
942			\|c LIBRO \|2
945			\|a MCR \|d 2010-08-18
952			\|0 0 \|1 0 \|2 CCS \|4 0 \|6 C_F3_A655 \|7 0 \|9 19803 \|a MMA \|b MMA \|c 4 \|d 2010-08-18 \|e Programa de Bibliotecas Res. 591/09: Importación de Publicaciones \|g 0.00 \|l 2 \|o C F3 A655 \|p 20566 \|r 2024-08-30 11:24:53 \|s 2024-08-23 \|w 2010-08-18 \|y LIBRO
955			\|a pc17 2009-07-07 \|a xh00 2009-12-04 to USPL/STM \|a xh00 2009-12-30 to USPL/STM
999			\|c 15541 \|d 15540