«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

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

Idioma InglésInglés
Libro Tapa blanda
Libro Formal Techniques for Distributed Systems Roberto Bruni
Código Libristo: 01658113
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mayo 2011
This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on F... Descripción completa
? points 148 b
60.49 €
Almacenamiento externo Envío en 9-15 días

Política de devolución de 30 días

Clientes que también han comprado

Popular
Gâteaux trompe-l'oeil ! Emily Misson / Libro Tapa dura
common.buy 33.99 €
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 / Libro Tapa dura
common.buy 41.59 €
Povyshenie stressoustojchivosti uchitelya posredstvom formirovaniya SGM Andrej Rudakov / Libro Tapa blanda
common.buy 26.69 €
El Derecho de la publicidad en Chile MARTABIT SAGREDO / Libro Tapa blanda
common.buy 45.09 €
Mio marito Maud Ventura / Libro Tapa blanda
common.buy 22.89 €
Krowa Matylda i zaginiona paczka Alexander Steffensmeier / Libro Tapa dura
common.buy 8.39 €
Bracelet Agate Crazy Lace Perles rondes 8 mm / Libro binding.
common.buy 5.79 €
Nordsee, 20 Postkarten / Juego/Juguete Juguete
common.buy 16.89 €
Plonger Christophe Ono-dit-Biot / Libro Tapa blanda
common.buy 13.19 €
O Sasance Jiří Černický / Libro Tapa dura
common.buy 10.39 €
UEber Die Metallgehalte in Den Schlacken Des Bleischachtofenprozesses Und Ihr Verhalten Im Elektrischen Feld Helmut Winterhager / Libro Tapa blanda
common.buy 58.09 €
Inhibition de la D position Des Sels Insolubles Touhami Lanez / Libro Tapa blanda
common.buy 39.39 €
Elementare Schiffahrtkunde Friedrich Gerhard Bolte / Libro Tapa blanda
common.buy 29.59 €
Agrarelite, Diktatur und Neoliberalismus Judith Haferland / Libro Tapa blanda
common.buy 37.49 €
Debitorenrating Grit S. Becker / Libro Tapa blanda
common.buy 51.89 €
Täglich 5 Minuten Sprachförderung. Bd.2 Lily Gleuwitz / Libro Hoja
common.buy 26.09 €
Gruppenbesteuerung Hubert W Fuchs / Libro Tapa blanda
common.buy 33.09 €
Livia Drusilla - Iulia Augusta: Kaiserin und Kaisermutter Ute Bartelt / Libro Tapa blanda
common.buy 17.89 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Formal Techniques for Distributed Systems
Autor Roberto Bruni, Juergen Dingel
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2011
Número de páginas 349
EAN 9783642214608
ISBN 3642214606
Código Libristo 01658113
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 547
Dimensiones 155 x 235 x 23

Categorías

Matemáticas y ciencias > Matemáticas > Fundamentos matemáticos > Lógica matemática
Computación e informática > Hardware (o soporte físico del ordenador) > Hardware de redes
Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Delivered but not Healed: Exploring the Need for Emotional and Psychological Healing Marcia Dixon-Haye / Libro Tapa blanda
common.buy 16.39 €
365 James Robertson / Libro Tapa blanda
common.buy 22.99 €
King and the Adulteress Roberto Speziale-Bagliacca / Libro Tapa dura
common.buy 78.29 €
Damage from a Recent Storm John E Harper / Libro Tapa blanda
common.buy 9.59 €
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 / Libro Tapa blanda
common.buy 27.39 €
Dancing in the Dining Room, Antigua West Indies Donna Goring / Libro Tapa blanda
common.buy 19.49 €
My Favorite Teacher Was an Ironworker Rick Taylor / Libro Tapa dura
common.buy 30.59 €
Workplace Skills: Writing for Work, Student Workbook Contemporary / Libro Tapa blanda
common.buy 54.19 €
Fire Dragons & Other Rare Ember Creatures Jessica Feinberg / Libro Tapa dura
common.buy 23.89 €
Responsibility and Justice Matravers / Libro Tapa dura
common.buy 73.89 €
Theological Dictionary of the Old Testament, Volume XI G. Johannes Botterweck / Libro Tapa blanda
common.buy 54.39 €
Innovations in Financing Public Services S. Bailey / Libro Tapa blanda
common.buy 58.29 €
Buzz Beaker and the Race to School Cari Meister / Libro Tapa blanda
common.buy 7.29 €
Humana Festival 2014: The Complete Plays Les Waters / Libro Tapa blanda
common.buy 24.49 €
Kelly L. Murdock's Autodesk 3ds Max 2017 Complete Reference Guide Kelly L. Murdock / Libro Tapa blanda
common.buy 101.99 €
Theaetetus of Plato Plato / Libro Tapa blanda
common.buy 25.79 €
Directions of a Pastoral Lifetime William Flewelling / Libro Tapa blanda
common.buy 21.99 €
Lemons, Limes & Oranges Coralie Dorman / Libro Tapa blanda
common.buy 9.39 €
Radiology of HIV/AIDS Hongjun Li / Libro Tapa dura
common.buy 240.89 €
Cambridge Companion to Autobiography Maria DiBattista / Libro Tapa dura
common.buy 130.89 €
Próximamente
Vicksburg Assaults Brandon Franke / Libro Tapa dura
common.buy 36.59 €
Logic and Information Keith Devlin / Libro Tapa dura
common.buy 136.99 €
British Wildlife Photography Awards 9 Gowan / Libro Tapa dura
common.buy 28.59 €
Popular
Good Economics for Hard Times Abhijit V. Banerjee / Libro Tapa blanda
common.buy 13.89 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?