Showing
1 - 1
results of
1
for search '
'
Saltar ao contenido
UPFind
Bolsa de Libros:
0
registros
(Completo)
Idioma
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Todos os campos
Title
Autor
Subject
Número de Clasificación
ISBN/ISSN
Buscar
Avanzado
Page will reload when a filter is removed.
Applied Filters:
SUBJECT:
Remove Filter
LOTOS (Computer program language)
Page will reload when a filter is removed.
Show filters (1)
SUBJECT:
Remove Filter
LOTOS (Computer program language)
Resultados de procura
Showing
1 - 1
results of
1
for search '
'
, tempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Newest to Oldest
Oldest to Newest
Autor
Título
Select Page
Correo Electrónico
Exportar
Imprimir
Engadir á cesta
Select result number 1
1
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
por
Yoeli, Michael 1917-
Publicado 2008
Número de Clasificación:
loading...
Situado:
loading...
Libro
loading...
Engadir á cesta
Eliminar da cesta
Select Page
Correo Electrónico
Exportar
Imprimir
Engadir á cesta
Ferramentas de procura:
Enviar por correo electrónico esta procura
Atrás
Limitar resultados
Page will reload when a filter is selected or excluded.
CAMPUS
Diliman
1 results
1
DATABASE
Union Catalog (Buklod)
1 results
1
UNIT LIBRARY
College of Engineering Library II
1 results
1
YEAR OF PUBLICATION
De:
a:
CLASSIFICATION
T - Technology
1 results
1
SUBJECT
Computer software
1 results
1
Integrated circuits
1 results
1
LOTOS (Computer program language)
Petri nets
1 results
1
Verification
1 results
1
AUTHOR
Kol, Rakefet
1 results
1
Yoeli, Michael 1917-
1 results
1
RESOURCE TYPE
Libro
1 results
1
LANGUAGE
English
1 results
1
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman
