Mostra
1 - 1
risultati di
1
ricerca '
Coen-Porisini, Alberto
'
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
Autore
Coen-Porisini, Alberto
Mostra
1 - 1
risultati di
1
ricerca '
Coen-Porisini, Alberto
'
, tempo di risposta: 0,01s
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
Using symbolic execution for verifying safety-critical systems.
di
Coen-Porisini, Alberto
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
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman