Articoli correlati a Formal Methods for Open Object-based Distributed Systems:...
Sinossi
Formal Methods for Open Object-based Distributed Systems presents the latest research in several related fields, and the exchange of ideas and experiences in a number of topics including: formal models for object-based distributed computing;
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Types and behaviour. Formalizing object-orientated methods. Case studies I. Actors. Open distributed processing I. Case studies II. Object and process calculi. Specification and design distributed systems. Open distributed processing II.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Formal Methods for Open Object-based Distributed Systems:...
Foto dell'editore
Formal Methods for Open Object-based Distributed Systems: Volume 1 (IFIP Advances in Information and Communication Technology)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In English. Codice articolo ria9780412797705_new
Compra nuovo
EUR 227,13
Spedizione EUR 13,17
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Formal Methods for Open Object-Based Distributed Systems
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 3223344
Compra usato
EUR 239,62
Spedizione EUR 2,30
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Formal Methods for Open Object-Based Distributed Systems
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 3223344-n
Compra nuovo
EUR 227,11
Spedizione EUR 17,50
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Formal Methods for Open Object-Based Distributed Systems
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 3223344-n
Compra nuovo
EUR 247,27
Spedizione EUR 2,30
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Formal Methods for Open Object-Based Distributed Systems
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 3223344
Compra usato
EUR 246,23
Spedizione EUR 17,50
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Formal Methods for Open Object-Based Distributed Systems
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
Condizione: New. The advent of Open Object-based Distributed Systems (OODS) brings challenges and opportunities for the use and development of formal methods. This book presents the research in several related fields, and the exchange of ideas and experiences in a number of topics. Editor(s): Najm, E.; Stefani, Jean-Bernard. Series: IFIP Advances in Information and Communication Technology. Num Pages: 422 pages, biography. BIC Classification: UT; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 774. . 1996. Hardback. . . . . Codice articolo V9780412797705
Compra nuovo
EUR 259,20
Spedizione EUR 9,50
Spedito da Irlanda a U.S.A.
Spedito da Irlanda a U.S.A.
Quantità: 15 disponibili
Immagini fornite dal venditore
Formal Methods for Open Object-based Distributed Systems
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Object-based Distributed Computing is being established as the most pertinent basis for the support of large, heterogeneous computing and telecommunications systems. The advent of Open Object-based Distributed Systems (OODS) brings new challenges and op. Codice articolo 5915258
Compra nuovo
EUR 246,91
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Formal Methods for Open Object-based Distributed Systems
Da: Books Puddle, Woodside, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 428. Codice articolo 26535371
Compra nuovo
EUR 315,03
Spedizione EUR 3,48
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Formal Methods for Open Object-Based Distributed Systems
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. The advent of Open Object-based Distributed Systems (OODS) brings challenges and opportunities for the use and development of formal methods. This book presents the research in several related fields, and the exchange of ideas and experiences in a number of topics. Editor(s): Najm, E.; Stefani, Jean-Bernard. Series: IFIP Advances in Information and Communication Technology. Num Pages: 422 pages, biography. BIC Classification: UT; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 774. . 1996. Hardback. . . . . Books ship from the US and Ireland. Codice articolo V9780412797705
Compra nuovo
EUR 327,69
Spedizione EUR 9,15
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 15 disponibili
Foto dell'editore
Formal Methods for Open Object-based Distributed Systems
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand pp. 428 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Codice articolo 8361108
Compra nuovo
EUR 330,22
Spedizione EUR 7,58
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 4 disponibili