Methods open object based de international conference (5 resultados)
Formal Methods for Open Object-Based Distributed Systems : 6th Ifip Wg 6.1 International Conference, Fmoods 2003, Paris, France, November 19-21 2003 : Proceedings
Najm, Elie; Stevens, Perdita (EDT); Nestmann, Uwe; INTERNATIONAL CONFERENCE ON FORMAL METHO (DST)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 62,40
Envío por EUR 2,30Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Formal Methods for Open Object-Based Distributed Systems : 6th Ifip Wg 6.1 International Conference, Fmoods 2003, Paris, France, November 19-21 2003 : Proceedings
Najm, Elie; Stevens, Perdita (EDT); Nestmann, Uwe; INTERNATIONAL CONFERENCE ON FORMAL METHO (DST)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 75,35
Envío por EUR 2,30Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Formal Methods for Open Object-Based Distributed Systems : 6th Ifip Wg 6.1 International Conference, Fmoods 2003, Paris, France, November 19-21 2003 : Proceedings
Najm, Elie; Stevens, Perdita (EDT); Nestmann, Uwe; INTERNATIONAL CONFERENCE ON FORMAL METHO (DST)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,38
Envío por EUR 17,50Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Formal Methods for Open Object-Based Distributed Systems : 6th Ifip Wg 6.1 International Conference, Fmoods 2003, Paris, France, November 19-21 2003 : Proceedings
Najm, Elie; Stevens, Perdita (EDT); Nestmann, Uwe; INTERNATIONAL CONFERENCE ON FORMAL METHO (DST)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 67,19
Envío por EUR 17,50Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 314,64
Envío por EUR 30,50Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Buch. Condición: Neu. Neuware - Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Papers in this volume focus on the following specific technologies: components; mobile code; Java®; The Unified Modeling Language (UML); refinement of specifications; types and subtyping; temporal and probabilistic systems. This volume comprises the proceedings of the Fourth International Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), which was sponsored by the International Federation for Information Processing (IFIP) and held in Stanford, California, USA, in September 2000. …
