Articles liés à Formal Techniques for Distributed Systems
L'édition de cet ISBN n'est malheureusement plus disponible.
Afficher les exemplaires de cette édition ISBN
- ÉditeurSpringer
- Date d'édition2012
- ISBN 10 3642307922
- ISBN 13 9783642307928
- ReliureBroché
- Nombre de pages284
Acheter neuf
En savoir plus sur cette édition
EUR 52,26
Frais de port :
Gratuit
Vers Etats-Unis
Meilleurs résultats de recherche sur AbeBooks
Image fournie par le vendeur
Formal Techniques for Distributed Systems (Lecture Notes in Computer Science) [Paperback ]
Edité par
Springer
(2012)
ISBN 10 : 3642307922
ISBN 13 : 9783642307928
Neuf
Soft Cover
Quantité disponible : 10
Vendeur :
Evaluation vendeur
Description du livre Soft Cover. Etat : new. This item is printed on demand. N° de réf. du vendeur 9783642307928
Acheter neuf
EUR 52,26
Autre devise
Image d'archives
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)
Edité par
Springer
(2012)
ISBN 10 : 3642307922
ISBN 13 : 9783642307928
Neuf
Couverture souple
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : New. N° de réf. du vendeur ABLIING23Mar3113020223798
Acheter neuf
EUR 56,07
Autre devise
Image d'archives
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,
Edité par
Springer
(2012)
ISBN 10 : 3642307922
ISBN 13 : 9783642307928
Neuf
Couverture souple
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. N° de réf. du vendeur ria9783642307928_lsuk
Acheter neuf
EUR 59,23
Autre devise
Image fournie par le vendeur
Formal Techniques for Distributed Systems
Edité par
Springer Berlin Heidelberg Mai 2012
(2012)
ISBN 10 : 3642307922
ISBN 13 : 9783642307928
Neuf
Taschenbuch
Quantité disponible : 2
Vendeur :
Evaluation vendeur
Description du livre Taschenbuch. Etat : 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 réf. du vendeur 9783642307928
Acheter neuf
EUR 53,49
Autre devise
Image d'archives
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,
Edité par
Springer-Verlag New York Inc
(2012)
ISBN 10 : 3642307922
ISBN 13 : 9783642307928
Neuf
Paperback
Quantité disponible : 2
Vendeur :
Evaluation vendeur
Description du livre Paperback. Etat : Brand New. 2012 edition. 267 pages. 9.25x5.75x0.75 inches. In Stock. N° de réf. du vendeur x-3642307922
Acheter neuf
EUR 69,64
Autre devise
Image d'archives
Formal Techniques for Distributed Systems
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
(2012)
ISBN 10 : 3642307922
ISBN 13 : 9783642307928
Neuf
Couverture souple
Quantité disponible : 15
Vendeur :
Evaluation vendeur
Description du livre Etat : New. Constitutes the 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. Editor(s): Giese, Holger; Rosu, Grigore. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 282 pages, 75 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 402. . 2012. Paperback. . . . . N° de réf. du vendeur V9783642307928
Acheter neuf
EUR 73,25
Autre devise
Image fournie par le vendeur
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
Edité par
Springer Berlin Heidelberg
(2012)
ISBN 10 : 3642307922
ISBN 13 : 9783642307928
Neuf
Taschenbuch
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 réf. du vendeur 9783642307928
Acheter neuf
EUR 56,45
Autre devise
Image d'archives
Formal Techniques for Distributed Systems : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference
Edité par
Springer 2012-05
(2012)
ISBN 10 : 3642307922
ISBN 13 : 9783642307928
Neuf
PF
Quantité disponible : 10
Vendeur :
Evaluation vendeur
Description du livre PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783642307928
Acheter neuf
EUR 74,26
Autre devise
Image fournie par le vendeur
Formal Techniques for Distributed Systems
Edité par
Springer Berlin Heidelberg
(2012)
ISBN 10 : 3642307922
ISBN 13 : 9783642307928
Neuf
Couverture souple
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. State-of-the-art research Fast-track conference proceedings Unique visibilityThis book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems. N° de réf. du vendeur 5056368
Acheter neuf
EUR 48,37
Autre devise
Image d'archives
Formal Techniques for Distributed Systems
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
(2012)
ISBN 10 : 3642307922
ISBN 13 : 9783642307928
Neuf
Couverture souple
Quantité disponible : 15
Vendeur :
Evaluation vendeur
Description du livre Etat : New. Constitutes the 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. Editor(s): Giese, Holger; Rosu, Grigore. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 282 pages, 75 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 402. . 2012. Paperback. . . . . Books ship from the US and Ireland. N° de réf. du vendeur V9783642307928
Acheter neuf
EUR 90,33
Autre devise