Showing
1 - 1
results of
1
for search '
PLPV '07
'
Skip to content
Catálogo Colectivo de Bibliotecas Eclesiásticas de España
Language
English
Español
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
PLPV '07
Showing
1 - 1
results of
1
for search '
PLPV '07
'
, query time: 0.01s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
1
PLPV'07 : proceedings of the 2007 workshop on Programming Languages meets Program Verification, Freiburg, Germany, October 5, 2007
by
Stump, Aaron
Published 2007
“…
PLPV '07
…”
Call Number:
Loading…
Located:
Loading…
eBook
Loading…
Search Tools:
RSS Feed
Email Search
Related Subjects
Computer Science
Computer programs
Engineering & Applied Sciences
Programming languages (Electronic computers)
Verification
Catálogo Colectivo de Bibliotecas Eclesiásticas de España
Catálogo Colectivo de Bibliotecas Eclesiásticas de España
