Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Formal Techniques for Networked and Distributed Systems - FORTE 2005

Name: Formal Techniques for Networked and Distributed Systems - FORTE 2005
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01561216
Price: 97.79 EUR
Availability: InStock
Author: Farn Wang
ISBN: 9783540291893

25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings

Farn Wang

Lingua

Inglese

Libro In brossura

Codice Libristo: 01561216

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, settembre 2005

This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on F... Descrizione completa

Codice Libristo: 01561216

239 b

97.79 €

Magazzino esterno in piccole quantità Inviamo tra 13-18 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Obr. Martin Dostál

In brossura

14.49 €

Grundlagen des Operations Research Tomas Gal

In brossura

56.39 €

Prahry Pavel Kohout

Foglio

11.29 €

POESIA COMPLETA JOAN BROSSA BROSSA

Rigido

36.19 €

Les clans de la lune alphane Philip Kindred Dick

In brossura

9.09 €

Moja walka z szatanem. Ojciec Matteo La Grua Roberta Ruscica

In brossura

5.39 €

Selbstjustiz Susann Nocent

In brossura

14.89 €

Le grand livre des fleurs brodées. L'art botanique en peinture à l'aiguille Trish Burr

In brossura

29.89 €

La Habichuela Magica = The Magic Bean Enriqueta Capellades

In brossura

4.09 €

Die Lust am Text Roland Barthes

In brossura

19.59 €

LA CONFESSION DE WOLFGANG A. Batut d'Haussy

In brossura

20.49 €

Amora NATALIA BORGES POLESSO

Rigido

16.19 €

Die Crew - Auf der Suche nach dem 9. Planeten Thomas Sing

Gioco

9.59 €

Le p?lerinage de Port-Royal Andre Hallays

Rigido

32.29 €

Professionalisierung Harald A. Mieg

In brossura

19.59 €

Vivaldi Per Trombone: 10 Pezzi Facili Per Trombone Libro Per Principianti Easy Classical Masterworks

In brossura

9.79 €

Autismo con discapacidad intelectual grave : guía para padres y educadores Rita Jordan

In brossura

30.09 €

Azade Fazile Asar Aydinalp

In brossura

8.99 €

Svět čísel a tvarů Alena Hošpesová; J. Divíšek

In brossura

4.49 €

Beantwortung der Frage: Was ist Aufklärung? Immanuel Kant

In brossura

8.69 €

Iphigenie Jean Baptiste Racine

In brossura

5.09 €

This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2005, held in Taipei, Taiwan, in October 2005.The 33 revised full papers and 6 short papers presented together with 3 keynote speeches were carefully reviewed and selected from 88 submissions. The papers cover all current aspects of formal methods for distributed systems and communication protocols such as formal description techniques (MSC, UML, Use cases, . . .), semantic foundations, model-checking, SAT-based techniques, process algebrae, abstractions, protocol testing, protocol verification, network synthesis, security system analysis, network robustness, embedded systems, communication protocols, and several promising new techniques.