«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 Methods for Open Object-Based Distributed Systems

10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Formal Methods for Open Object-Based Distributed Systems Gilles Barthe
Código Libristo: 01567776
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mayo 2008
This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on F... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Гигиена животных. Рабочая тетрадь для лабораторно-практических занятий и самостоятельной работы. Учебное пособие для вузов А.Ф. Кузнецов / Libro Tapa blanda
common.buy 24.99 €
Polítiques d'inserció sociolaboral Rosell Morales / Libro Tapa blanda
common.buy 22.79 €
Próximamente Nuevo
Ravenmaster Nina Blazon / Libro Tapa dura
common.buy 19.29 €
La Caída de Porthos Embilea,: El País de la Niebla 2 Galán / Libro Tapa blanda
common.buy 23.49 €
Al final mueren los dos SILVERA / Libro Tapa blanda
common.buy 7.79 €
Policarpo Bonilla / Libro Tapa blanda
common.buy 12.09 €
Jóga Rhyner Hans H. / Libro Tapa blanda
common.buy 9.89 €
Koruna Evropy Jaromír Zaoral / Libro Tapa dura
common.buy 22.89 €
QUI A TUE LE PETIT CANICHE Libro Tapa blanda
common.buy 14.79 €
Návrat k Bohu Karl Jakob Hirsch / Libro Tapa dura
common.buy 10.19 €
Einführung in Body-Mind Centering Christine Mauch / Libro Tapa blanda
common.buy 37.39 €
Argumente kontra Religion Gottfried Beyvers / Libro Tapa blanda
common.buy 15.99 €
La isla en el horizonte Echavarría (Puerto Rico) / Libro Tapa blanda
common.buy 15.89 €
Il principe. Audiolibro. CD Audio formato MP3 C. Carini / Libro Tapa blanda
common.buy 18.09 €
Teología de bolsillo: Breve diccionario de la religión cristiana Iago Gómez Bellas / Libro Tapa blanda
common.buy 22.79 €
millonario de la puerta de al lado (EXITO) (Spanish Edition) Thomas J. Stanley / Libro Tapa blanda
common.buy 15.19 €
O Bairro de Gonçalo M. Tavares Fabiano Cardoso / Libro Tapa blanda
common.buy 54.09 €
Branche Versicherungen Gbi Genios / Libro Tapa blanda
common.buy 49.29 €
Einführung eines integrierten ERP-Systems bei einem IT-Dienstleister Patrick Herzog / Libro Tapa blanda
common.buy 52.99 €
Zur Geschichte Der Religion Und Philosophie in Deutschland Heinrich Heine / Libro Tapa dura
common.buy 24.69 €
Qualitat von Verkehrskenngroessen aus Videomessungen Hilger Schneider / Libro Tapa blanda
common.buy 17.89 €
Kasta metabaronů Alexandro Jodorowsky; Juan Gimenez / Libro Tapa blanda
common.buy 45.09 €

This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008.§The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification; type systems and behavioral typing; formal methods for service-oriented computing; integration of quality of service requirements into formal models; formal approaches to component-based design; and applications of formal methods.

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 Methods for Open Object-Based Distributed Systems
Autor Gilles Barthe
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2008
Número de páginas 259
EAN 9783540688624
ISBN 3540688625
Código Libristo 01567776
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 427
Dimensiones 155 x 235 x 16

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 > Algoritmos y estructuras de datos
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 > Sistemas operativos
Computación e informática > Redes y comunicaciones informáticas
Computación e informática > Ciencias de la computación
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

Retrospeculation Ruth R Rains / Libro Tapa blanda
common.buy 10.69 €
Re-Storying Education Roberts / Libro Tapa blanda
common.buy 24.59 €
Daytona Beach Lifeguards Patti Light / Libro Hoja
common.buy 8.29 €
Nocona Shannon Gillette / Libro Tapa blanda
common.buy 21.79 €
Haitians Jean Casimir / Libro Tapa dura
common.buy 123.69 €
Warship 2 – Frigate HMS Leander 2 Jantinus Mulder / Libro Tapa blanda
common.buy 20.39 €
Próximamente
30-Second Maths Richard J. Brown / Libro Tapa blanda
common.buy 11.59 €
Tattoo on my Brain Daniel Gibbs / Libro Tapa blanda
common.buy 12.69 €
Ancient Hebrew: Yeshua Revealed Al Garza / Libro Tapa blanda
common.buy 20.09 €
Jacob Faithful Frederick Marryat / Libro Tapa blanda
common.buy 20.99 €
You Can Count On It: A Mentor's Arithmetic Patterns For Elementary Students Alexander Zabriskie Warren / Libro Tapa blanda
common.buy 30.59 €
Dodger and Me Jordan Sonnenblick / Libro Tapa blanda
common.buy 14.29 €
Passages from the diary of General Patrick Gordon of Auchleuchries. A.D. 1635- A.D. 1699 Gordon Patrick Gordon / Libro Tapa blanda
common.buy 23.49 €
Hybrid Drawing Techniques for Interior Design Jorge Paricio Garcia / Libro electrónico Adobe ePub DRM
common.buy 80.79 €
Chinese Medicine in Cancer Care: Herbs-Acupuncture-Qi gong-Nutrition-Prevention Niko Trian / Libro Tapa blanda
common.buy 36.89 €
1000 Mixed Sudoku Puzzles for Smart Minds: Perfect as a Birthday Present - Puzzle Book with Solutions - 9x9 Tommy Wohlfahrt / Libro Tapa blanda
common.buy 15.39 €
Friend in My Head: How to Set Your Goals For Success in Life Birdie Chesson / Libro Tapa blanda
common.buy 10.69 €
Krechinsky's Wedding: A Comedy in Three Acts Alexander Sukhovo-Kobylin / Libro Tapa blanda
common.buy 20.99 €
The Sultan Of Sulu: An Original Satire In Two Acts (1903) George Ade / Libro Tapa blanda
common.buy 22.99 €
The High Crosses of Ireland J. Romilly Allen / Libro Tapa dura
common.buy 37.69 €
Auguste Comte: His Philosophy, His Religion And His Sociology Annie Besant / Libro Tapa blanda
common.buy 21.99 €
Spurgeon on Prayer & Spiritual Warfare Charles Haddon Spurgeon / Libro Tapa dura
common.buy 28.89 €
In Praise of Copying Marcus Boon / Libro Tapa blanda
common.buy 29.79 €
Cognition, Culture, and Political Momentum William Hirst / Libro Tapa dura
common.buy 141.29 €

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?