Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

SPS 3.99 € Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto DPD 2.99 € Zberné miesto GLS 2.49 € SPS Parcel Shop 2.99 € Packeta 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Protocol Specification, Testing and Verification XIV

Name: Protocol Specification, Testing and Verification XIV
Brand: Springer-Verlag New York Inc.
SKU: 05258989
Price: 153.34 EUR
Availability: InStock
Author: Samuel T. Chanson
ISBN: 9781475763089

Samuel T. Chanson

S. T. Vuong

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 05258989

Nakladateľstvo Springer-Verlag New York Inc., máj 2013

This PSTV'94 Symposium is the fourteenth of a series of annual meetings organized under the auspices... Celý popis

Libristo kód: 05258989

373 b

153.34 €

Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Hollywood horror stories. I peccati delle star Francesco Marcantonini

Pevná

20.09 €

De l'origine kamite des civilisations africaines : lecture afrocentrique de quelques récits Lusala Lu Nkuka

Brožovaná

18.48 €

Kommunikationspolitik als integrativer Bestandteil des Dienstleistungsmarketing Miriam Moch

Brožovaná

16.07 €

Tarantino - The Bloody Genius, 1 DVD Tara Wood

DVD

13.05 €

So erniedrigt wurde das menschliche Wesen wohl nie, wie durch die Psychoanalyse Christian Pape

Brožovaná

42.50 €

Aus der Petersburger Gesellschaft Julius Wilhelm Albert von Eckardt

Brožovaná

12.45 €

The Real Mother Goose, Volume 4 (Traditional Chinese): 07 Zhuyin Fuhao (Bopomofo) with IPA Paperback Color H y Xiao Phd

Brožovaná

36.07 €

Kaidžú č. 8 / 2 Naoja Macumoto

Brožovaná

8.53 €

Soundtrack 5.Kinofilm:Einfach Anders

Audio CD

19.80 €

¿y si se cumple el deseo? Winters

Brožovaná

5.42 €

Words in Pictures - My Day (Amharic Children's Book) KidKiddos Books

Pevná

26.12 €

Dizionario di economia e finanza. Oltre 1.000 voci per capire concetti, strumenti e mercati Paolo Buro

Brožovaná

22.60 €

Clanlands Graham Mctavish

Pevná

20.19 €

...En avant comme après... wall°ich Kniha

Brožovaná

16.67 €

Verringerung der durch Magnesiumsalze verursachten Auswirkungen des Salzgehalts Atika SEBAA

Brožovaná

70.64 €

Muskel Training 2000 Norbert Rühl

Brožovaná

51.54 €

Soziale Ungleichheit in Deutschland - Empirische Befunde und theoretische Fundierung Mathias Purr

Brožovaná

16.07 €

Aslak. Band 1 Hub

Pevná

13.56 €

Den store integrationsdag Michael Larsen

Brožovaná

8.23 €

Evoluce svým vlastním tvůrcem Miroslav Veverka

Brožovaná

17.07 €

Nahost-Konflikt. Befinden sich Israel und die Palastinenser auf dem Weg zu einer Zwei-Staaten-Loesung? Florian Schaffer

Brožovaná

16.07 €

Aristoteles Poetik Adolf Stahr

Brožovaná

26.62 €

Andreae Planeri Athesini, Quaestionum Dialecticarum Pars ... Carl von Reifitz

Brožovaná

58.78 €

Die Verpflichtungen Der Staaten Aus Den Urteilen Des Europaischen Gerichtshofs Fur Menschenrechte / The Obligations of States Arising from the Judgmen Jörg Polakiewicz

Brožovaná

67.02 €

This PSTV'94 Symposium is the fourteenth of a series of annual meetings organized under the auspices of IFIP W.G. 6.1, a Working Group dedicated to "Architectures and Protocols for Computer Networks". This is the oldest and most established symposium in the emerging field of protocol engineering which has spawn many international conferences including FORTE (International Conference on Formal Description Tech niques), IWPTS (International Workshop on Protocol Test Systems), ICNP (Interna tional Conference on Network Protocols) and CAY (Conference on Computer-Aided Verification). The main objective of this PSTV symposium is to provide a forum for researchers and practitioners in industry and academia interested in advances in using formal methods and methodologies to specify, develop, test and verify communication protocols and distributed systems. This year's PSTV symposium enjoys a nice mixture of formal methods and practical issues in network protocols through the invited addresses of three outstanding speakers, Ed Brinksma (University of Twente), Raj Jain (Ohio State University) and David Tennenhouse (MIT) as well as 5 tutorials, in addition to 9 techni cal sessions and two practical panel sessions. The 5 tutorials are offered on the first day in two parallel tracks for intensive exposure on hot topics of current interest. This year, out of 51 submissions the Program Committee selected 18 regular papers (with an allotment of 16 pages in the Proceedings) and 9 mini-papers (of 8 pages).