Artículos relacionados a Formal Techniques for Distributed Systems: Joint 14th...
Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, ... 7273 (Lecture Notes in Computer Science) - Tapa blanda
Sinopsis
This book constitutes the refereed proceedings of the 14th I.F.I.P. W.G. 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMoods 2012, and the 32nd I.F.I.P. W.G. 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, Forte 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 16 revised full papers presented were carefully reviewed and selected from 42 submissions. They cover a wide range of topics combining theory and practice in application areas of telecommunication services, Internet, embedded and real-time systems, networking and communication security and reliability, sensor networks, service-oriented architecture, and Web services.
"Sinopsis" puede pertenecer a otra edición de este libro.
De la contraportada
This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 16 revised full papers presented were carefully reviewed and selected from 42 submissions. They cover a wide range of topics combining theory and practice in application areas of telecommunication services, Internet, embedded and real-time systems, networking and communication security and reliability, sensor networks, service-oriented architecture, and Web services.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Formal Techniques for Distributed Systems: Joint 14th...
Imagen de archivo
Formal Techniques for Distributed Systems (eng)
Impresión bajo demandaLibrería: Brook Bookstore On Demand, Napoli, NA, Italia
Calificación del vendedor: 5 de 5 estrellas
Condición: new. Questo è un articolo print on demand. Nº de ref. del artículo: 482f9750b47cfe428db9a2573390234b
Comprar nuevo
EUR 46,22
Envío por EUR 5,50
Se envía de Italia a Estados Unidos de America
Se envía de Italia a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Formal Techniques for Distributed Systems : Joint 14th Ifip Wg 6.1 International Conference, Fmoods 2012 and 32nd Ifip Wg 6.1 International Conference, Forte 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 18425532-n
Comprar nuevo
EUR 52,29
Envío por EUR 2,27
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Formal Techniques for Distributed Systems: Joint 14th Ifip Wg 6.1 International Conference, Fmoods 2012 and 32nd Ifip Wg 6.1 International Conference, (Paperback or Softback)
Publicado por
Springer 5/31/2012, 2012
ISBN 10: 3642307922
ISBN 13: 9783642307928
Nuevo
Paperback or Softback
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback or Softback. Condición: New. Formal Techniques for Distributed Systems: Joint 14th Ifip Wg 6.1 International Conference, Fmoods 2012 and 32nd Ifip Wg 6.1 International Conference, Book. Nº de ref. del artículo: BBS-9783642307928
Comprar nuevo
EUR 57,88
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 5 disponibles
Imagen de archivo
Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, ... (Lecture Notes in Computer Science, 7273)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9783642307928
Comprar nuevo
EUR 60,24
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Formal Techniques for Distributed Systems : Joint 14th Ifip Wg 6.1 International Conference, Fmoods 2012 and 32nd Ifip Wg 6.1 International Conference, Forte 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 18425532
Comprar usado
EUR 60,92
Envío por EUR 2,27
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Formal Techniques for Distributed Systems
Publicado por
Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2012
ISBN 10: 3642307922
ISBN 13: 9783642307928
Nuevo
Paperback
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. 2012 ed. This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 16 revised full papers presented were carefully reviewed and selected from 42 submissions. They cover a wide range of topics combining theory and practice in application areas of telecommunication services, Internet, embedded and real-time systems, networking and communication security and reliability, sensor networks, service-oriented architecture, and Web services. Nº de ref. del artículo: LU-9783642307928
Comprar nuevo
EUR 67,71
Gastos de envío gratis
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, ... (Lecture Notes in Computer Science, 7273)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783642307928_new
Comprar nuevo
EUR 60,94
Envío por EUR 13,15
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Formal Techniques for Distributed Systems : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783642307928
Comprar nuevo
EUR 57,29
Envío por EUR 18,04
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 10 disponibles
Imagen del vendedor
Formal Techniques for Distributed Systems
Publicado por
Springer Berlin Heidelberg Mai 2012, 2012
ISBN 10: 3642307922
ISBN 13: 9783642307928
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 16 revised full papers presented were carefully reviewed and selected from 42 submissions. They cover a wide range of topics combining theory and practice in application areas of telecommunication services, Internet, embedded and real-time systems, networking and communication security and reliability, sensor networks, service-oriented architecture, and Web services. 284 pp. Englisch. Nº de ref. del artículo: 9783642307928
Comprar nuevo
EUR 53,49
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
Formal Techniques for Distributed Systems : Joint 14th Ifip Wg 6.1 International Conference, Fmoods 2012 and 32nd Ifip Wg 6.1 International Conference, Forte 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 18425532-n
Comprar nuevo
EUR 60,28
Envío por EUR 17,47
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles