Semánticas de pruebas para álgebras de procesos probabilísticos

Bibliographic Details
Main Author: Núñez García, Manuel
Corporate Author: e-libro, Corp
Format: Libros Digitales
Language:Spanish
Published: Madrid : Universidad Complutense de Madrid, 1996.
Subjects:
Online Access:https://elibro.net/ereader/elibrounam/93670

MARC

LEADER 00000nam a2200000 4500
001 ELB93670
003 FlNmELB
006 m o d |
007 cr cn|||||||||
008 201110r1996 sp |||||s|||||||||||spa d
020 |z 1413559794 
035 |a (MiAaPQ)EBC3162288 
035 |a (Au-PeEL)EBL3162288 
035 |a (CaPaEBR)ebr10092321 
035 |a (OCoLC)928549521 
040 |a FlNmELB  |b spa  |c FlNmELB 
050 4 |a P123  |b N964 1996 
080 |a 519.76 
082 0 4 |a 410  |2 22 
100 1 |a Núñez García, Manuel. 
245 1 0 |a Semánticas de pruebas para álgebras de procesos probabilísticos  |h [recurso electronico] /  |c Manuel Núñez García ; director, David de Frutos Escrig. 
260 |a Madrid :  |b Universidad Complutense de Madrid,  |c 1996. 
300 |a xi, 229 p. 
500 |a Universidad Complutense de Madrid, Facultad de Ciencias Matemáticas. 
533 |a Recurso electrónico. Santa Fe, Arg.: e-libro, 2015. Disponible vía World Wide Web. El acceso puede estar limitado para las bibliotecas afiliadas a e-libro. 
650 0 |a Lingüística matemática. 
650 0 |a Mathematical linguistics. 
655 4 |a Libros electrónicos. 
700 1 |a Frutos Escrig, David de,   |e dir. 
710 2 |a e-libro, Corp. 
856 4 0 |u https://elibro.net/ereader/elibrounam/93670