Dangos
1 - 5
canlyniadau o
5
ar gyfer chwilio '
"Specification techniques."
'
Neidio i'r cynnwys
UPFind
Bag Llyfrau:
0
eitemau
(Llawn)
Iaith
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
हिंदी
Pob Maes
Teitl
Awdur
Pwnc
Rhif Galw
ISBN/ISSN
Canfod
Uwch
Canlyniadau Chwilio - "Specification techniques."
Dangos
1 - 5
canlyniadau o
5
ar gyfer chwilio '
"Specification techniques."
'
, amser ymholiad: 0.02e
Mireinio'r Canlyniadau
Sortio
Perthnasedd
Newest to Oldest
Oldest to Newest
Awdur
Teitl
Select Page
E-bost
Allforio
Argraffu
Ychwanegu at y Bag Llyfrau
Dewiswch ganlyniad rhif 1
1
Compositional refinement of interactive systems.
gan
Broy, Manfred
Cyhoeddwyd yn
Journal of the ACM
Rhif Galw:
loading...
Wedi'i leoli:
loading...
Erthygl
loading...
Ychwanegu at y Bag Llyfrau
Symud o'r Bag Llyfrau
Dewiswch ganlyniad rhif 2
2
Relational analysis of algebraic datatypes.
gan
Kuncak, Viktor
Cyhoeddwyd yn
Software engineering notes.
Rhif Galw:
loading...
Wedi'i leoli:
loading...
Erthygl
loading...
Ychwanegu at y Bag Llyfrau
Symud o'r Bag Llyfrau
Dewiswch ganlyniad rhif 3
3
Interface automata.
gan
De Alfaro, Luca
Cyhoeddwyd yn
Software engineering notes.
Rhif Galw:
loading...
Wedi'i leoli:
loading...
Erthygl
loading...
Ychwanegu at y Bag Llyfrau
Symud o'r Bag Llyfrau
Dewiswch ganlyniad rhif 4
4
Modular verification of collaboration-based software designs.
gan
Fisler, Kathi
Cyhoeddwyd yn
Software engineering notes.
Rhif Galw:
loading...
Wedi'i leoli:
loading...
Erthygl
loading...
Ychwanegu at y Bag Llyfrau
Symud o'r Bag Llyfrau
Dewiswch ganlyniad rhif 5
5
Register-machine based processes.
gan
Bergstra, Jan A.
Cyhoeddwyd yn
Journal of the ACM
Rhif Galw:
loading...
Wedi'i leoli:
loading...
Erthygl
loading...
Ychwanegu at y Bag Llyfrau
Symud o'r Bag Llyfrau
Select Page
E-bost
Allforio
Argraffu
Ychwanegu at y Bag Llyfrau
Offerynnau Chwilio:
E-bostio'r Chwiliad hwn
Yn Ôl
Mireinio'r Canlyniadau
Page will reload when a filter is selected or excluded.
DATABASE
Union Catalog (Buklod)
5 canlyniadau
5
AUTHOR
Bergstra, Jan A.
1 canlyniadau
1
Broy, Manfred
1 canlyniadau
1
De Alfaro, Luca
1 canlyniadau
1
Fisler, Kathi
1 canlyniadau
1
Kuncak, Viktor
1 canlyniadau
1
RESOURCE TYPE
Erthygl
5 canlyniadau
5
LANGUAGE
English
5 canlyniadau
5
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman