Mostrar
1 - 2
resultats de
2
per cerca '
"Computer programs Specification."
'
Anar al contingut
UPFind
Bossa de llibres:
0
ítems
(Complet)
Idioma
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
हिंदी
Tots els camps
Títol
Autor
Matèria
Signatura
ISBN/ISSN
Trobar
Avançada
Resultats de la cerca - "Computer programs Specification."
Mostrar
1 - 2
resultats de
2
per cerca '
"Computer programs Specification."
'
, hora de la petició: 0.02sec
Refinar resultats
Ordenar
Rellevància
Newest to Oldest
Oldest to Newest
Autor
Títol
Select Page
Correu electrònic
Exportar
Imprimir
Afegir a la bossa
Selecciona el número de resultat 1
1
Specification case studies
Publicat 1993
Signatura:
loading...
Localitzat:
loading...
Llibre
loading...
Afegir a la bossa
Eliminar de la bossa de llibres
Selecciona el número de resultat 2
2
Formal methods of program verification and specification
Publicat 1982
Signatura:
loading...
Localitzat:
loading...
Llibre
loading...
Afegir a la bossa
Eliminar de la bossa de llibres
Select Page
Correu electrònic
Exportar
Imprimir
Afegir a la bossa
Eines de cerca:
Enviar per correu electrònic aquesta cerca
Back
Refinar resultats
La pàgina es tornarà a carregar quan es seleccioni o exclueixi un filtre.
CAMPUS
Diliman
2 results
2
DATABASE
Union Catalog (Buklod)
2 results
2
UNIT LIBRARY
College of Engineering Library II
2 results
2
YEAR OF PUBLICATION
Des de:
A:
CLASSIFICATION
Q - Ciència
2 results
2
SUBJECT
Computer programs
2 results
2
Specification
1 results
1
Specifications
1 results
1
Verification
1 results
1
AUTHOR
Berg, H. K.
1 results
1
Flinn, Bill
1 results
1
Hayes, Ian
1 results
1
RESOURCE TYPE
Llibre
2 results
2
LANGUAGE
English
2 results
2
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman
