Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
DPD courier 4.99 € GLS courier 11.49 €
phone Contact phoneHow to shop

Formal Techniques for Distributed Objects, Components, and Systems

Language EnglishEnglish
Book Paperback
Book Formal Techniques for Distributed Objects, Components, and Systems Ahmed Bouajjani
Libristo code: 16300684
Publishers Springer International Publishing AG, May 2017
This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Tec... Full description
? points 125 b
51.75 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Moldavie La Recherche de Ses Identit s Schultz Ilioné / Book Paperback
common.buy 64.00 €

This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017. The 13 revised full papers presented together with 3 short and 1 tool papers were carefully reviewed and selected from 30 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Formal Techniques for Distributed Objects, Components, and Systems
Author Ahmed Bouajjani, Alexandra Silva
Language English
Binding Book - Paperback
Date of issue 2017
Number of pages 243
EAN 9783319602240
ISBN 3319602241
Libristo code 16300684
Publishers Springer International Publishing AG
Weight 3985
Dimensions 155 x 235 x 17

Categories

Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Artificial intelligence
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?