Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

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: 119.45 EUR
Availability: InStock
Author: Farn Wang
ISBN: 9783540291893

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

Farn Wang

Език

Английски език

Книга С меки корици

Код Либристо: 01561216

Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, септември 2005

This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on F... Цялото описание

Код Либристо: 01561216

289 b

119.45 €

233.63 лв

Външен склад в ограничено количество Изпращаме след 11-15 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Obr. Martin Dostál

С меки корици

17.09 € 33.43 лв

Grundlagen des Operations Research Tomas Gal

С меки корици

55.83 € 109.18 лв

Les clans de la lune alphane Philip Kindred Dick

С меки корици

11.87 € 23.22 лв

POESIA COMPLETA JOAN BROSSA BROSSA

С твърди корици

44.93 € 87.87 лв

Prahry Pavel Kohout

Лист

13.27 € 25.95 лв

Moja walka z szatanem. Ojciec Matteo La Grua Roberta Ruscica

С меки корици

7.43 € 14.54 лв

Selbstjustiz Susann Nocent

С меки корици

18.85 € 36.86 лв

La Habichuela Magica = The Magic Bean Enriqueta Capellades

С меки корици

5.06 € 9.89 лв

Die Lust am Text Roland Barthes

С меки корици

27.06 € 52.92 лв

LA CONFESSION DE WOLFGANG A. Batut d'Haussy

С меки корици

26.33 € 51.51 лв

Amora NATALIA BORGES POLESSO

С твърди корици

20.76 € 40.60 лв

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

Игра

9.76 € 19.08 лв

Le p?lerinage de Port-Royal Andre Hallays

С твърди корици

38.21 € 74.74 лв

Professionalisierung Harald A. Mieg

С меки корици

23.70 € 46.35 лв

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

С меки корици

9.39 € 18.37 лв

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

С меки корици

37.70 € 73.73 лв

Azade Fazile Asar Aydinalp

С меки корици

10.74 € 21.00 лв

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

С меки корици

5.21 € 10.19 лв

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

С меки корици

10.53 € 20.60 лв

Iphigenie Jean Baptiste Racine

С меки корици

6.66 € 13.02 лв

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.