مرکز منطقه ای اطلاع رساني علوم و فناوري

DocumentCode :

3613707

Title :

Program composition in Isabelle/UNITY

Author :

S.O. Ehmety;L.C. Paulson

fYear :

2002

fDate :

6/24/1905 12:00:00 AM

Keywords :

"Logic programming","Safety","Laboratories","Mechanical factors","Automation","Computer languages","Distributed processing","Set theory"

Publisher :

ieee

Conference_Titel :

Parallel and Distributed Processing Symposium., Proceedings International, IPDPS 2002, Abstracts and CD-ROM

Print_ISBN :

0-7695-1573-8

Type :

conf

DOI :

10.1109/IPDPS.2002.1016620

Filename :

1016620

Link To Document :