«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 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Formal Techniques for Distributed Systems John Hatcliff
Código Libristo: 01655975
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junio 2010
This book constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on F... Descripción completa
? points 148 b
60.49 €
Almacenamiento externo Envío en 14-21 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Phonsegmentierte, nichtlineare Zeitskalierung von Sprache Dirk Hopfner / Libro Tapa blanda
common.buy 35.19 €
Siegfried. Giganc. Tom 2 wyd. 2025 Lylian / Libro Tapa blanda
common.buy 7.99 €
Guide Pratique d'Audit Social de Conformité Emmanuel Beck / Libro Tapa blanda
common.buy 39.69 €
BATMAN LA GARGOLA DE GOTHAM 3 GRAMPA / Libro Libro
common.buy 14.19 €
Mathe.Logo Bayern 8 I - neu Patricia Weixler / Libro Tapa dura
common.buy 33.09 €
Indirekte Sterbehilfe Sophie Roggendorf / Libro Tapa blanda
common.buy 36.39 €
Totalitarismo 100. Ritorno alla storia Emilio Gentile / Libro Tapa blanda
common.buy 25.69 €
Kde bývajú zvieratká? neuvedený autor / Libro Libro de concertinas
common.buy 8.99 €
Constitucion de la Confederacion Argentina Linkgua / Libro Tapa blanda
common.buy 12.29 €
Labutie piesne Pavol Hammel / Audio CD de audio
common.buy 12.29 €
Cowboy fur die Liebe Martina Gercke / Libro Tapa blanda
common.buy 24.69 €
Grusel, Terror, Videospiel Christoph Hurka / Libro Tapa blanda
common.buy 21.29 €
Überblick über die rechtlichen Regelungen im Ausland erbrachter medizinischer Leistungen am Beispiel der Niederlande Julia Bovensiepen / Libro Tapa blanda
common.buy 17.89 €
literarische Funktion von Kleidung in den Islendingasoegur und IslendingaTHaettir Anita Sauckel / Libro Tapa dura
common.buy 176.29 €
Beat Kusagi David Sterritt / Libro Tapa blanda
common.buy 10.09 €
Der Alpenkönig und der Menschenfeind Ferdinand Raimund / Libro Tapa blanda
common.buy 5.39 €
Senilita Italo Svevo / Libro Tapa blanda
common.buy 15.79 €
Marketing im Mittelstand Clemens Renker / Libro Tapa dura
common.buy 73.69 €
Tata a jeho syn Arnošt Goldflam / Audio CD de audio
common.buy 9.89 €
Jahre des Umbruchs Clemens Vollnhals / Libro Tapa dura
common.buy 112.29 €
Lieber ein Optimist, der sich mal irrt... Peter Hohl / Libro Tapa dura
common.buy 7.39 €
Hochzeitsreise Charles de Coster / Libro Tapa dura
common.buy 22.09 €
Detektywistyka Brakoniecki Dariusz / Libro Tapa blanda
common.buy 17.99 €
LOS Klaus Merz / Libro Tapa blanda
common.buy 11.59 €

This book constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2010, and the 30th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2010, held in Amsterdam, The Netherlands, in June 2010. The 13 revised full papers presented together with 6 short papers and the abstract of one invited talk were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections on formal UML modeling; components and architecture; timed process algebra; timed and hybrid automata; program logics and analysis; and reasoning about distributed systems.

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 John Hatcliff, Elena Zucca
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2010
Número de páginas 233
EAN 9783642134630
ISBN 3642134637
Código Libristo 01655975
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 386
Dimensiones 159 x 240 x 19

Categorías

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 > Redes y comunicaciones informáticas > Sistemas distribuidos
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

Computer-Supported Cooperative Work Uwe M. Borghoff / Libro Tapa blanda
common.buy 49.99 €
Articulated Motion and Deformable Objects Francisco J. Perales / Libro Tapa blanda
common.buy 60.49 €
Algorithms - ESA 2007 Lars Arge / Libro Tapa blanda
common.buy 101.79 €
Do Magazine Presents Quilting Techniques & Projects Editors of Do Magazine / Libro Tapa blanda
common.buy 10.59 €
Breeding for Disease Resistance in Farm Animals Roger Axford / Libro Tapa dura
common.buy 196.29 €
Ragtime, Blues & Jazz for Banjo Fred Sokolow / Libro Tapa blanda
common.buy 33.79 €
Postcolonial London John McLeod / Libro Tapa dura
common.buy 252.29 €
Playing Guitar Musically: A Guide to Creativity on Guitar & Bass. Adam Satur / Libro Tapa blanda
common.buy 23.79 €
Popular
Observatory Mansions Edward Carey / Libro Tapa blanda
common.buy 19.59 €
What Color Is the Wind? Anne Herbauts / Libro Tapa blanda
common.buy 18.09 €
The End of the Perfect 10: The Making and Breaking of Gymnastics' Top Score --From Nadia to Now Dvora Meyers / Libro Tapa blanda
common.buy 18.09 €
The Life of Martin Luther William Rein / Libro Tapa blanda
common.buy 30.79 €
Words Of Love 1959-2009 Gary Lynn Clevenger / Libro Tapa blanda
common.buy 15.39 €
Addresses Against Incorporating Union, 1706-1707 Karin Bowie / Libro Tapa dura
common.buy 103.49 €
Only Giants Live Forever (Unless You Kill Them) Dale Skutt / Libro Tapa blanda
common.buy 20.59 €
240 Brain Variety Puzzles, Vol 1 Jaja Books / Libro Tapa blanda
common.buy 10.29 €
Charter and Ordinances of the City of Ann Arbor Ann Arbor / Libro Tapa blanda
common.buy 19.99 €
The Big Book of 500 Sudoku Puzzles easy (with answers) Sudoku Puzzle Books / Libro Tapa blanda
common.buy 15.39 €
Anne of the Island Lucy Maud Montgomery / Libro Tapa blanda
common.buy 8.89 €
Progressive French Dialogues And Phrases: Consisting Of A Systematic Collection Of Conversations On Familiar Subjects (1845) Alexander G. Collot / Libro Tapa blanda
common.buy 28.79 €
Art of the Cosmos Jim Bell / Libro Tapa dura
common.buy 38.39 €
The Sky Is Not the Limit Jeremie Decalf / Libro Tapa dura
common.buy 17.29 €
Girls from da Hood 6 Ashley / Libro electrónico Adobe ePub DRM
common.buy 8.19 €
Baby's daily Log Book Soby K / Libro Tapa blanda
common.buy 24.99 €

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?