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
Free delivery for purchases over 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formal Techniques for Distributed Systems

Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings

Language EnglishEnglish
Book Paperback
Book Formal Techniques for Distributed Systems Roberto Bruni
Libristo code: 01658113
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, May 2011
This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on F... Full description
? points 152 b
22 264 Ft
In stock at our supplier Shipping in 9-15 days

30-day return policy

Customers also purchased

Top
Gâteaux trompe-l'oeil ! Emily Misson / Book Hardback
common.buy 11 989 Ft
Comedias Escogidas De Frey Lope Felix De Vega Carpio: Lo Que Ha De Ser. El Molino. La Dama Melindrosa. Los Locos De Valencia Lope De Vega / Book Hardback
common.buy 15 345 Ft
Povyshenie stressoustojchivosti uchitelya posredstvom formirovaniya SGM Andrej Rudakov / Book Paperback
common.buy 9 364 Ft
El Derecho de la publicidad en Chile MARTABIT SAGREDO / Book Paperback
common.buy 16 620 Ft
Mio marito Maud Ventura / Book Paperback
common.buy 7 663 Ft
Krowa Matylda i zaginiona paczka Alexander Steffensmeier / Book Hardback
common.buy 2 963 Ft
Bracelet Agate Crazy Lace Perles rondes 8 mm / Book binding.
common.buy 2 052 Ft
Nordsee, 20 Postkarten / Game/Toy Toy
common.buy 5 629 Ft
Plonger Christophe Ono-dit-Biot / Book Paperback
common.buy 4 645 Ft
O Sasance Jiří Černický / Book Hardback
common.buy 3 457 Ft
UEber Die Metallgehalte in Den Schlacken Des Bleischachtofenprozesses Und Ihr Verhalten Im Elektrischen Feld Helmut Winterhager / Book Paperback
common.buy 20 447 Ft
Inhibition de la D position Des Sels Insolubles Touhami Lanez / Book Paperback
common.buy 13 833 Ft
Elementare Schiffahrtkunde Friedrich Gerhard Bolte / Book Paperback
common.buy 10 390 Ft
Agrarelite, Diktatur und Neoliberalismus Judith Haferland / Book Paperback
common.buy 13 177 Ft
Debitorenrating Grit S. Becker / Book Paperback
common.buy 18 233 Ft
Täglich 5 Minuten Sprachförderung. Bd.2 Lily Gleuwitz / Book Sheet
common.buy 9 174 Ft
Gruppenbesteuerung Hubert W Fuchs / Book Paperback
common.buy 11 079 Ft
Livia Drusilla - Iulia Augusta: Kaiserin und Kaisermutter Ute Bartelt / Book Paperback
common.buy 6 272 Ft

This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2011, as one of the DisCoTec 2011 events. The 21 revised full papers presented together with one invited talk were carefully reviewed and selected from 65 submissions. The topics covered are formal verification, formal modeling and specification, run-time monitoring, and testing to address challenges in many different application areas, including dynamic and ad hoc networks, mobile and adaptive computation, reactive and timed systems, business processes, and distributed and concurrent systems and algorithms.

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 Systems
Author Roberto Bruni, Juergen Dingel
Language English
Binding Book - Paperback
Date of issue 2011
Number of pages 349
EAN 9783642214608
ISBN 3642214606
Libristo code 01658113
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 547
Dimensions 155 x 235 x 23

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
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

You might also be interested in

Delivered but not Healed: Exploring the Need for Emotional and Psychological Healing Marcia Dixon-Haye / Book Paperback
common.buy 6 036 Ft
365 James Robertson / Book Paperback
common.buy 8 033 Ft
King and the Adulteress Roberto Speziale-Bagliacca / Book Hardback
common.buy 27 625 Ft
Damage from a Recent Storm John E Harper / Book Paperback
common.buy 3 577 Ft
Elsworth F. Baker, Kenneth M. Bremmer, Philip Gold, et al., Petitioners, V. United States of America. U.S. Supreme Court Transcript of Record with Sup William W Goodrick / Book Paperback
common.buy 10 173 Ft
Dancing in the Dining Room, Antigua West Indies Donna Goring / Book Paperback
common.buy 7 182 Ft
My Favorite Teacher Was an Ironworker Rick Taylor / Book Hardback
common.buy 11 254 Ft
Workplace Skills: Writing for Work, Student Workbook Contemporary / Book Paperback
common.buy 19 111 Ft
Fire Dragons & Other Rare Ember Creatures Jessica Feinberg / Book Hardback
common.buy 8 837 Ft
Responsibility and Justice Matravers / Book Hardback
common.buy 27 186 Ft
Theological Dictionary of the Old Testament, Volume XI G. Johannes Botterweck / Book Paperback
common.buy 20 198 Ft
Innovations in Financing Public Services S. Bailey / Book Paperback
common.buy 20 503 Ft
Buzz Beaker and the Race to School Cari Meister / Book Paperback
common.buy 2 727 Ft
Humana Festival 2014: The Complete Plays Les Waters / Book Paperback
common.buy 8 634 Ft
Kelly L. Murdock's Autodesk 3ds Max 2017 Complete Reference Guide Kelly L. Murdock / Book Paperback
common.buy 35 921 Ft
Theaetetus of Plato Plato / Book Paperback
common.buy 7 561 Ft
Directions of a Pastoral Lifetime William Flewelling / Book Paperback
common.buy 8 107 Ft
Lemons, Limes & Oranges Coralie Dorman / Book Paperback
common.buy 3 295 Ft
Radiology of HIV/AIDS Hongjun Li / Book Hardback
common.buy 80 873 Ft
Cambridge Companion to Autobiography Maria DiBattista / Book Hardback
common.buy 44 028 Ft
Vicksburg Assaults Brandon Franke / Book Hardback
common.buy 12 766 Ft
Logic and Information Keith Devlin / Book Hardback
common.buy 50 434 Ft
British Wildlife Photography Awards 9 Gowan / Book Hardback
common.buy 10 011 Ft
Top
Good Economics for Hard Times Abhijit V. Banerjee / Book Paperback
common.buy 4 853 Ft

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?