Showing
1 - 1
results of
1
for search '
Dwyer, Matthew. editor
'
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
Dwyer, Matthew. editor
Showing
1 - 1
results of
1
for search '
Dwyer, Matthew. editor
'
, query time: 0.01s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
1
Model Checking Software 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings
by
International SPIN Workshop
Published 2001
Other Authors:
“…
Dwyer, Matthew. editor
…”
Call Number:
Loading…
Located:
Loading…
eBook
Loading…
Search Tools:
RSS Feed
Email Search
Related Subjects
Computer logic
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Programming languages (Electronic computers)
SPIN (Computer file)
Software Engineering
Software Engineering/Programming and Operating Systems
Software engineering
Catálogo Colectivo de Bibliotecas Eclesiásticas de España
Catálogo Colectivo de Bibliotecas Eclesiásticas de España
