Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007: Proceedings /
PSZJBL
| Main Authors: | , , , |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
Berlin Heidelberg : Springer-Verlag GmbH.,
2007
|
| Subjects: | |
| Online Access: | http://dx.doi.org/10.1007/978-3-540-72952-5 |
| _version_ | 1826523778366046208 |
|---|---|
| author | International Conference on Formal Methods for Open Object-Based Distributed Systems (9th : 2007 : Paphos, Cyprus) Bonsangue, Marcello M. Johnsen, Einar Broch SpringerLink (Online service) |
| author_facet | International Conference on Formal Methods for Open Object-Based Distributed Systems (9th : 2007 : Paphos, Cyprus) Bonsangue, Marcello M. Johnsen, Einar Broch SpringerLink (Online service) |
| author_sort | International Conference on Formal Methods for Open Object-Based Distributed Systems (9th : 2007 : Paphos, Cyprus) |
| collection | OCEAN |
| description | PSZJBL |
| first_indexed | 2024-03-05T09:57:22Z |
| format | |
| id | KOHA-OAI-TEST:429253 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-05T09:57:22Z |
| publishDate | 2007 |
| publisher | Berlin Heidelberg : Springer-Verlag GmbH., |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:4292532020-12-19T17:15:19ZFormal Methods for Open Object-Based Distributed Systems [electronic resource] : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007: Proceedings / International Conference on Formal Methods for Open Object-Based Distributed Systems (9th : 2007 : Paphos, Cyprus) Bonsangue, Marcello M. Johnsen, Einar Broch SpringerLink (Online service) e-books Berlin Heidelberg : Springer-Verlag GmbH.,2007.engPSZJBLElectronic data processingObject-oriented programming (Computer science)Springer e-bookshttp://dx.doi.org/10.1007/978-3-540-72952-5URN:ISBN:9783540729525 (electronic bk.)Remote access restricted to users with a valid UTM ID via VPN |
| spellingShingle | Electronic data processing Object-oriented programming (Computer science) International Conference on Formal Methods for Open Object-Based Distributed Systems (9th : 2007 : Paphos, Cyprus) Bonsangue, Marcello M. Johnsen, Einar Broch SpringerLink (Online service) Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007: Proceedings / |
| title | Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007: Proceedings / |
| title_full | Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007: Proceedings / |
| title_fullStr | Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007: Proceedings / |
| title_full_unstemmed | Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007: Proceedings / |
| title_short | Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007: Proceedings / |
| title_sort | formal methods for open object based distributed systems electronic resource 9th ifip wg 6 1 international conference fmoods 2007 paphos cyprus june 6 8 2007 proceedings |
| topic | Electronic data processing Object-oriented programming (Computer science) |
| url | http://dx.doi.org/10.1007/978-3-540-72952-5 |
| work_keys_str_mv | AT internationalconferenceonformalmethodsforopenobjectbaseddistributedsystems9th2007paphoscyprus formalmethodsforopenobjectbaseddistributedsystemselectronicresource9thifipwg61internationalconferencefmoods2007paphoscyprusjune682007proceedings AT bonsanguemarcellom formalmethodsforopenobjectbaseddistributedsystemselectronicresource9thifipwg61internationalconferencefmoods2007paphoscyprusjune682007proceedings AT johnseneinarbroch formalmethodsforopenobjectbaseddistributedsystemselectronicresource9thifipwg61internationalconferencefmoods2007paphoscyprusjune682007proceedings AT springerlinkonlineservice formalmethodsforopenobjectbaseddistributedsystemselectronicresource9thifipwg61internationalconferencefmoods2007paphoscyprusjune682007proceedings |