Introduction to process algebra /

Bibliographic Details
Main Author:	Fokkink, Wan, 1965-
Format:	Book
Published:	Berlin : Springer, 2010.
Series:	Texts in theoretical computer science EATCS series
Subjects:	Programación concurrente. Verificación de programas. Lenguajes de programación. Concurrent programming. Program verification. Programming languages. Semantic of programming languages.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20160908124526.0
008	110420s2010 gw\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020			\|a 9783642085840
040			\|a AR_CdUFM \|c AR_CdUFM
100	1		\|9 5369 \|a Fokkink, Wan, \|d 1965-
245	1	0	\|a Introduction to process algebra / \|c Wan Fokkink.
260			\|a Berlin : \|b Springer, \|c 2010.
300			\|a viii, 163 p. : \|b il. ; \|c 24 cm.
490	0		\|a Texts in theoretical computer science
490	0		\|a EATCS series
500			\|a With 11 figures and 11 tables.
504			\|a Incluye referencias bibliogáficas e índice.
541			\|a Importación de Publicaciones ; \|c Compra: Programa de Bibliotecas. Res. 591/09 ; \|d 2011-04-20 ; \|e 20889 ; \|h $342 ; \|o Libro
650		4	\|a Programación concurrente.
650		4	\|a Verificación de programas.
650		4	\|a Lenguajes de programación.
650		4	\|a Concurrent programming.
650		4	\|a Program verification.
650		4	\|a Programming languages.
650		4	\|a Semantic of programming languages.
942			\|c LIBRO \|2
945			\|a MCR \|d 2011-04-20
952			\|0 0 \|1 0 \|2 CCS \|4 0 \|6 C_D13_F662 \|7 0 \|9 20242 \|a MMA \|b MMA \|c 4 \|d 2011-04-20 \|e Programa de Bibliotecas Res. 591/09: Importación de Publicaciones \|g 342.00 \|l 3 \|o C D1.3 F662 \|p 20889 \|r 2023-01-24 \|s 2017-10-18 \|w 2011-04-20 \|y LIBRO
999			\|c 15901 \|d 15900