LIBRISTO
LIBROAMANTO
obligatorio
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

Envío gratis a partir de 69,99 euros.

Formal Techniques for Networked and Distributed Systems - FORTE 2008

28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Formal Techniques for Networked and Distributed Systems - FORTE 2008 Kenji Suzuki
Código Libristo: 01567774
This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on F... Descripción completa
? points 125 b
51.09
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones


Clientes que también han comprado


Próximamente
Kulturpolitik der Länder: Niederösterreich Heimo Konrad / Libro Tapa blanda
common.buy 90.69
Gloria Benito Perez Galdos / Libro Tapa blanda
common.buy 24.49
La Science est dans le citron Jack Guichard / Libro Tapa dura
common.buy 11.19
Hrdinové ohně BD Joseph Kosinski / Video Video
common.buy 17.09
RENAIXENÇA I LA RUTA DEL CISTER, LA ROCA RICART / Libro Tapa blanda
common.buy 13.09
جدار الملح الهدي &#15 / Libro Tapa blanda
common.buy 16.99
narratore ferito. Corpo, malattia, etica Arthur W. Frank / Libro Tapa blanda
common.buy 41.09
Próximamente
LAS MORADAS FILOSOFALES FULCANELLI / Libro Tapa dura
common.buy 32.79
Grammatica siriaca (rist. anast.) Massimo Pazzini / Libro Tapa blanda
common.buy 37.79
Lex Salica Jakob Friedrich Behrend / Libro Tapa blanda
common.buy 19.49
Say You Swear Anne Morgenrau / Libro Tapa blanda
common.buy 14.29

This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2008, held in Tokyo, Japan, in June 2008 co-located with TestCom/FATES 2008.§The 19 revised full papers and 1 revised short paper presented together with 1 invited talk were carefully reviewed and selected from 44 submissions. The papers cover new approaches, concepts and experience in the application of formal methods for the specification and verification of distributed systems and applications. Special focus is put on ubiquitous, grid, and mobile computing systems, and also on the application of formal techniques to service oriented architectures as well as security issues in networked systems. The papers are organized in topical sections on abstraction, verification, specification framework, application, theory, and reliability of networked 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.
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


Excavating Modernity Eleanor Dobson / Libro Tapa dura
common.buy 215.89
Native and Modified Starches for Food Applications Pothiyappan Karthik / Libro Tapa blanda
common.buy 180.29
Report on China's Cruise Industry Hong Wang / Libro electrónico Adobe ePub DRM
common.buy 170.09
My First Book About Space CHIARA PIRODDI / Libro Tapa blanda
common.buy 7.99
1000+ Sudoku Jocky Books / Libro Tapa blanda
common.buy 16.29
Writing on the Fault Line Martin (Florida State University) Munro / Libro Tapa blanda
common.buy 64.99
Económico
Best Patient Experience Robert Snyder / Libro Tapa blanda
common.buy 40.39
Destruction of the European Jews Raul Hilberg / Libro Tapa blanda
common.buy 25.59
Signature in the Schools, Volume I Joe Calarco / Libro Tapa blanda
common.buy 20.89
Innovations in Power Systems Reliability George Anders / Libro Tapa blanda
common.buy 152.59
To Be a Jewish Woman Lisa Aiken Ph D / Libro Tapa blanda
common.buy 26.59
All Animals To Be Born Jason Miller / Libro Tapa blanda
common.buy 13.39
Lord Looseth the Prisoners James Anderson / Libro Tapa blanda
common.buy 13.29
Dynamic Disequilibrium Modeling: Theory and Applications William A. BarnettGiancarlo GandolfoClaude Hillinger / Libro Tapa blanda
common.buy 73.39
In the Palaces of Heaven Christopher Paul Carter / Libro Tapa blanda
common.buy 19.09
Lost Name, Vol II of III Joseph Sheridan Le Fanu / Libro Tapa blanda
common.buy 30.19
Plays of Shakespeare, Volume 8 William Shakespeare / Libro Tapa dura
common.buy 40.69
In the Midst of Winter Mary J. Moffat / Libro Tapa blanda
common.buy 17.09
Copyright Law Sym American Society of Composers / Libro Tapa dura
common.buy 135.39
Inequalities for Differential Forms Craig Nolder / Libro Tapa blanda
common.buy 101.79

Inicio de sesión

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

 
obligatorio
obligatorio

¿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?