Над 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

Name: Formal Techniques for Networked and Distributed Systems
Brand: Springer, Berlin
SKU: 01397070
Price: 237.27 EUR
Availability: InStock
Author: yungchul Kim
ISBN: 9780792374701

Език

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

Книга С твърди корици

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

Издателство Springer, Berlin, ноември 2000

This book presents the latest worldwide results in theory and practice of formal techniques for netw... Цялото описание

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

573 b

237.27 €

464.06 лв

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

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

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

Základy Knihy V-VI Eukleides

С меки корици

7.82 € 15.29 лв

Když se hubnout nedaří Marta Boučková

С меки корици

9.01 € 17.62 лв

Fullspace-Projektion Ute B Schroder

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

66.53 € 130.12 лв

La psychiatrie francophone DELTEIL

С меки корици

25.64 € 50.16 лв

Confidences des noces roman LAURE SYLVIE ADOU DA

С меки корици

14.92 € 29.18 лв

Awele: Awele, o Amante de Vestidos Esther Adewuyi

С меки корици

9.58 € 18.74 лв

Das Paradoxe Geschlecht Gesa Lindemann

С меки корици

50.52 € 98.80 лв

Kohlenwasserstoff Abbaupotenzial von heterotrophen Bakterien in Nigeria Akwukwaegbu Roseline

С меки корици

58.86 € 115.12 лв

Tokyo revengers Ken Wakui

С меки корици

8.65 € 16.91 лв

Boy's Abyss 13 Nana Umino

С меки корици

9.01 € 17.62 лв

Ciao Antonella Abbatiello

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

19.32 € 37.79 лв

Český jazyk Testové úlohy Roman Kanda

С меки корици

8.75 € 17.12 лв

Die Wirtschaft Bulgariens seit 1945. R. Peter Rochlin

С меки корици

56.27 € 110.05 лв

La Leyenda de la Sombra de la Luna Joe Barfield

С меки корици

13.05 € 25.53 лв

La Revolución Rusa de 1917 VICENTE BLASCO IBAÑEZ

С меки корици

33.52 € 65.56 лв

In meinem Schatten werde ich getragen Tomas Tranströmer

С меки корици

18.80 € 36.78 лв

Informationsverhalten von Studierenden in Bezug auf Versicherungsprodukte - Eine empirische Analyse mit Handlungsempfehlungen fur Versicherungen Andreas Möller

С меки корици

45.39 € 88.77 лв

Die Arbeitersportbewegung in der Schweiz 1874-1947 Dominique M Frankhauser

С меки корици

43.68 € 85.43 лв

Biomedizin Und Ethik Hans-Peter Schreiber

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

37.87 € 74.07 лв

Memoria canalla de un periodista impertinente. Los géneros clásicos ante las nuevas tecnologías Peñalva Abrisqueta

С меки корици

30.62 € 59.89 лв

Ritter Unterwegs Und Die Pflege Der Gastfreundschaft Im Alten Frankreich Hugo Oschinsky

С меки корици

26.53 € 51.88 лв

Ohnivý most Miroslav Šnajdr

Книга

10.20 € 19.96 лв

Guide de la Conversation Japonaise (2e Ed)(Ed.1867) Leon De Rosny

С меки корици

21.29 € 41.64 лв

English G Lighthouse - Allgemeine Ausgabe - Band 3: 7. Schuljahr Susan Abbey

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

33.21 € 64.95 лв

This book presents the latest worldwide results in theory and practice of formal techniques for networked and distributed systems. The theme of the book is addressed by specialized papers in the following areas: Formal Methods in Software Development, Process Algebra, Timed Automata, Theories and Applications of Verification, Distributed Systems Testing, Test Sequence Derivation. In addition, the last part of the book contains special contributions by leading researchers in the above areas to add breadth and give more perspectives to the results. §This volume contains the selected proceedings of the International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2001), which was sponsored by the International Federation for Information Processing (IFIP) and held in Cheju Island, Korea in August 2001. FORTE 2001 combines two prestigious conferences, FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) and PSTV (Protocol Specification Testing and Verification), and has more than 20 years of history.§Formal Techniques for Networked and Distributed Systems will be essential reading for researchers and engineers working in the fields of communications, test equipment R&D, and telecommunications, as well as to software engineering tool developers.