Showing
1 - 2
results of
2
for search '
Julliand, Jacques
'
Skip to content
Login
Menu
0
items
(Full)
Servicios para Alumnos
Servicios para Académicos
Recupera tu NIP
Mis Préstamos y Multas
Language
Inglés
Español
Francés
Galego
Search terms
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Search
Advanced
Author
Julliand, Jacques
Skip recommendations
Showing
1 - 2
results of
2
for search '
Julliand, Jacques
'
, query time: 0.01s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Search Tools:
Suscríbete a esta búsqueda
1
Loading…
Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings /
Published 2012
Other Authors:
Call Number:
Loading…
Located:
Loading…
Texto Completo
Electronic
eBook
QR Code
2
Loading…
B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings /
Published 2006
Other Authors:
“…
Julliand, Jacques
…”
Call Number:
Loading…
Located:
Loading…
Texto Completo
Electronic
eBook
QR Code
Related Subjects
Computer Science Logic and Foundations of Programming
Computer programming
Computer science
Formal Languages and Automata Theory
Machine theory
Programming Techniques
Software Engineering
Software engineering
Compilers (Computer programs)
Compilers and Interpreters
Computer Modelling
Computer simulation