Zbog tehničkih razloga telefonska podrška danas neće biti dostupna, molimo kontaktirajte nas putem e-maila.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Zbog tehničkih razloga telefonska podrška danas neće biti dostupna, molimo kontaktirajte nas putem e-maila.

Protocol Specification, Testing and Verification XIV

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

Samuel T. Chanson

S. T. Vuong

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 05258989

Nakladnici Springer-Verlag New York Inc., svibanj 2013

This PSTV'94 Symposium is the fourteenth of a series of annual meetings organized under the auspices... Cijeli opis

Libristo kod: 05258989

373 b

153.44 €

Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

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

Meki uvez

17.89 €

Tarantino - The Bloody Genius, 1 DVD Tara Wood

DVD

13.06 €

Hollywood horror stories. I peccati delle star Francesco Marcantonini

Tvrdi uvez

19.10 €

Kommunikationspolitik als integrativer Bestandteil des Dienstleistungsmarketing Miriam Moch

Meki uvez

16.08 €

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

Meki uvez

42.52 €

Soundtrack 5.Kinofilm:Einfach Anders

Audio CD

19.80 €

Kaidžú č. 8 / 2 Naoja Macumoto

Meki uvez

8.03 €

Aus der Petersburger Gesellschaft Julius Wilhelm Albert von Eckardt

Meki uvez

11.86 €

Clanlands Graham Mctavish

Tvrdi uvez

20.20 €

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

Tvrdi uvez

25.83 €

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

Meki uvez

16.18 €

Histoire de Saint-Nic et de Pentrez Lukian

Meki uvez

19.70 €

Verringerung der durch Magnesiumsalze verursachten Auswirkungen des Salzgehalts Atika SEBAA

Meki uvez

70.68 €

Muskel Training 2000 Norbert Rühl

Meki uvez

51.57 €

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

Meki uvez

16.08 €

Aslak. Band 1 Hub

Tvrdi uvez

12.86 €

Den store integrationsdag Michael Larsen

Meki uvez

8.24 €

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

Meki uvez

16.18 €

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

Meki uvez

16.08 €

Aristoteles Poetik Adolf Stahr

Meki uvez

26.64 €

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

Meki uvez

55.70 €

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

Meki uvez

67.06 €

Catalogue de Sculptures Et Objets d'Art Du Moyen Age Et de la Renaissance, Marbres, Pierres Henri Leman

Meki uvez

12.66 €

O Papel Privilegiado da Angústia na Obra Ser e Tempo Débora Gill

Meki uvez

48.66 €

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).