Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Formal Techniques for Distributed Objects, Components, and Systems

Name: Formal Techniques for Distributed Objects, Components, and Systems
Brand: Springer International Publishing AG
SKU: 09277565
Price: 51.75 EUR
Availability: InStock
Author: Susanne Graf
ISBN: 9783319191942

35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-5, 2015,

Susanne Graf

Mahesh Viswanathan

Language

English

Book Paperback

Libristo code: 09277565

Publishers Springer International Publishing AG, April 2015

This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Tec... Full description

Libristo code: 09277565

125 b

51.75 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Plantas cuidadas, plantas felices Morgan Doane

Adobe ePub DRM

8.80 €

Des diables et des saints Jean-Baptiste Andrea

Paperback

9.61 €

Eseje Joseph Epstein

Sheet

11.84 €

SYMPHONIE 06 C FRANZ SCHUBERT Book

binding.

62.18 €

Diesseits und Jenseits des Oceans Gustav Struve

Paperback

14.68 €

Nein! Ich geh nicht zum Seniorenyoga! Virginia Ironside

Paperback

9.11 €

L'Émigration et la démocratie polonaises Alexandre Thomas

Paperback

9.61 €

Pirackie opowieści Część 1 Trzy perły Katarzyna Borucka

Paperback

2.12 €

Arbeitslosigkeit ihre Bekampfung und Statistik Paul Berndt

Paperback

11.74 €

Memoire Sur Une Epidemie de Rougeole Observee A Saint-Etienne, Par Le Dr Prosper Million, Million-P-A-G

Paperback

14.57 €

Primtal Poul Erik Kristensen

Paperback

10.73 €

Biblia de Estudio Scofield / Scofield Study Bible C. I. Scofield

Paperback

50.63 €

Jourdan Coupe-Tete (Ed.1888) Ernest Daudet

Paperback

21.26 €

This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015. The 15 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods.