Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Formal Techniques for Distributed Systems

Name: Formal Techniques for Distributed Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01649869
Price: 285.96 RON
Availability: InStock
Author: David Lee
ISBN: 9783642021374

Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings

David Lee

Antonia Lopes

Arnd Poetzsch-Heffter

Limba

engleză

Carte Carte broșată

Codul Libristo: 01649869

Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mai 2009

This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on F... Descrierea completă

Codul Libristo: 01649869

132 b

285.96 lei

În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

My Mom is Awesome (Danish Book for Kids) Kidkiddos Books

Carte broșată

91.21 lei

Ein neues Leben Antje Rávik Strubel

Copertă tare

120.09 lei

Ammiraglia di tutte le zattere Paolo Colavero

Carte broșată

107.89 lei

Gomma di Tamarindo Chandana S

Carte broșată

395.53 lei

Finitud y tiempo Julian Serna Arango

Adobe ePub DRM

23.03 lei

El amor, el sexo y el matrimonio DOVAL

Carte

65.57 lei

Personal de servicios generales de la administración de la comunidad foral de navarra. Test Editorial Mad

binding.

131.35 lei

Negligencias médicas en anestesiología y responsabilidad civil del anestesista Gutiérrez Santiago

Carte broșată

225.81 lei

Vorstellung Vom Weltgebaude Im Wandel Der Zeiten Svante A. Arrhenius

Carte broșată

193.90 lei

Caballos salvajes JORDI CUSSA

Audio CD

142.61 lei

Repetitorium Schmerztherapie Michael Hatzenbühler

Carte broșată

339.97 lei

Palabras con corazón María Eugenia Manrique

Carte broșată

118.74 lei

This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2009, and 29th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2009, held in Lisboa, Portugal, in June 2009.§The 12 revised full papers presented together with 6 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as formal verification, algorithms and implementations, modeling and testing, process algebra and calculus as well as analysis of distributed systems.