Mostrando
1 - 2
Resultados de
2
Para Buscar '
"Predicate abstraction."
'
Saltar al contenido
UPFind
Bolsa de libros:
0
elementos
(Completo)
Lenguaje
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 los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Buscar
Avanzado
Resultados de búsqueda - "Predicate abstraction."
Mostrando
1 - 2
Resultados de
2
Para Buscar '
"Predicate abstraction."
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Newest to Oldest
Oldest to Newest
Autor
Título
Select Page
Correo Electrónico
Exportar
Imprimir
Añadir a la Mochila
Seleccione el número de resultado 1
1
Joining dataflow with predicates.
por
Fischer, Jeffrey
Publicado en
Software engineering notes.
Número de Clasificación:
loading...
Ubicado:
loading...
Artículo
loading...
Añadir a la Mochila
Eliminar de la Mochila
Seleccione el número de resultado 2
2
Explaining abstract counterexamples.
por
Chaki, Sagar
Publicado en
Software engineering notes.
Número de Clasificación:
loading...
Ubicado:
loading...
Artículo
loading...
Añadir a la Mochila
Eliminar de la Mochila
Select Page
Correo Electrónico
Exportar
Imprimir
Añadir a la Mochila
Herramientas de búsqueda:
Enviar por Correo electrónico esta Búsqueda
Atrás
Limitar resultados
La página se volverá a cargar cuando se seleccione o excluya un filtro.
DATABASE
Union Catalog (Buklod)
2 resultados
2
AUTHOR
Chaki, Sagar
1 resultados
1
Fischer, Jeffrey
1 resultados
1
RESOURCE TYPE
Artículo
2 resultados
2
LANGUAGE
English
2 resultados
2
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman