Mostra
1 - 2
risultati di
2
ricerca '
"Predicate abstraction."
'
Salta al contenuto
UPFind
Carrello dei libri:
0
elementi
(Pieno)
Lingua
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
हिंदी
Tutti i Campi
Titolo
Autore
Soggetto
Collocazione
ISBN/ISSN
Cerca
Avanzata
Risultati della ricerca - "Predicate abstraction."
Mostra
1 - 2
risultati di
2
ricerca '
"Predicate abstraction."
'
, tempo di risposta: 0,49s
Raffina i risultati
Ordina
Rilevanza
Newest to Oldest
Oldest to Newest
Autore
Titolo
Select Page
Email
Esporta
Stampa
Aggiungi al carrello
Seleziona il risultato numero 1
1
Joining dataflow with predicates.
di
Fischer, Jeffrey
Pubblicato in
Software engineering notes.
Collocazione:
loading...
Localizzazione:
loading...
Articolo
loading...
Aggiungi al carrello
Rimuovi dal carrello
Seleziona il risultato numero 2
2
Explaining abstract counterexamples.
di
Chaki, Sagar
Pubblicato in
Software engineering notes.
Collocazione:
loading...
Localizzazione:
loading...
Articolo
loading...
Aggiungi al carrello
Rimuovi dal carrello
Select Page
Email
Esporta
Stampa
Aggiungi al carrello
Strumenti per la ricerca:
Invia questa ricerca per email
Indietro
Raffina i risultati
La pagina viene ricaricata quando viene selezionato o escluso un filtro.
DATABASE
Union Catalog (Buklod)
2 risultati
2
AUTHOR
Chaki, Sagar
1 risultati
1
Fischer, Jeffrey
1 risultati
1
RESOURCE TYPE
Articolo
2 risultati
2
LANGUAGE
English
2 risultati
2
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman