Formal methods for open object-based distributed systems

Permalink: http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:28006/Details
Ostali autori: Bowman, Howard (Editor), Derrick, John
Vrsta građe: Knjiga
Jezik: eng
Impresum: London : Chapman & Hall Ltd, London, 1997.
Izdanje: 1. izd
LEADER 00714nam a2200193uu 4500
008 s1997 xxka |||||||||| ||eng|d
020 |a 0412820404 
035 |a HR-ZaFER 32376 
040 |a HR-ZaFER  |b hrv  |c HR-ZaFER 
041 |a eng 
245 |a Formal methods for open object-based distributed systems :  |b IFIP TC6 WG6.1 INTERNATIONAL WORKSHOP FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS (FMOODS '97), 21-23 JULY 1997, CANTERBURY, KENT, UK.  |n VOL.2. 
250 |a 1. izd. 
260 |a London :  |b Chapman & Hall Ltd, London,  |c 1997. 
300 |a vii, 470 str. :  |b graf.prikazi ;  |c 24 cm. 
700 |9 29651  |a Bowman, Howard  |4 edt 
700 |9 29652  |a Derrick, John  |4 edt 
942 |b BKS  |c K 
990 |a 30234 
999 |c 28006  |d 28006