Spedizione gratuita per ordini superiori a 69,99 euro.

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

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

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

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Formal Methods for Protocol Engineering and Distributed Systems

Name: Formal Methods for Protocol Engineering and Distributed Systems
Brand: Springer, Berlin
SKU: 01397737
Price: 214.29 EUR
Availability: InStock
Author: Jianping Wu
ISBN: 9780792386469

Jianping Wu

Samuel T. Chanson

Quiang Gao

Lingua

Inglese

Libro Rigido

Codice Libristo: 01397737

Casa editrice Springer, Berlin, novembre 1998

Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniq... Descrizione completa

Codice Libristo: 01397737

524 b

214.29 €

Magazzino esterno Inviamo tra 10-13 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Opakuji si o prázdninách 1 František Šilar

In brossura

7.19 €

Fotokatalityczna przepuszczalna nawierzchnia asfaltowa z oczyszczaniem spalin Guojun Zhang

In brossura

40.99 €

Wszystko za życie Jon Krakauer

In brossura

10.19 €

Neue Theoretisch-praktische Anweisung Zum Schachspiel Johann Allgaier

In brossura

19.09 €

Viaggio archeologico nell'antica Etruria Wilhelm Dorow

In brossura

38.99 €

DICTAGOL DICTADOS HA.DEL FUTBOL PAU ZUBIZARRETA

Libro

13.59 €

Analyse stimulationsevozierter Muskel- und Nervensignale mithilfe elektrischer und magnetischer Sensorik Eric Elzenheimer

In brossura

49.59 €

Ponos i predrasude i zombiji Jane Austen

Rigido

19.39 €

Stille Jahre Raija Hauck

In brossura

14.19 €

Jeszcze nic straconego. Rozmawia Agnieszka Orzelska - Stączek Wojciech Roszkowski

Rigido

9.19 €

Les Termes clés de l'analyse du théâtre Anne Ubersfeld

In brossura

9.99 €

Neuf Contes moraux, pour piano SACRE

In brossura

34.39 €

CRECIMIENTO Y DIETA GONZALEZ MONTERO DE ESPINOSA

Libro

12.99 €

Spannungsverhaltnis zwischen Kaisertum und Papsttum - aufgezeigt an der Quelle "Dictatus Papae Pia Brinkkoetter

In brossura

17.89 €

Zapletený Emma Chase

Rigido

12.49 €

Rychlé a snadné recepty pro kojence a batolata Annabel Karmel

Rigido

10.69 €

Veselé hry s obrázky a čísly

Rigido

7.59 €

Grafické básně aneb Autoportrét psacího stroje Miloš Horanský

Foglio

6.79 €

Štít hromu Gemmell David

In brossura

14.49 €

Jacob beschließt zu lieben Catalin D. Florescu

Rigido

18.79 €

Leistungsfähige Entscheidungen in Politik und Verwaltung durch Systemanalyse. Albrecht Nagel

In brossura

33.69 €

Das Spiel der Götter - Das Reich der Sieben Städte Steven Erikson

In brossura

12.29 €

Condicion Social De Los Moriscos De Espana: Causas De Su Explosion... Florencio Janer

Rigido

37.69 €

Kultur und Freizeit Erich Bader

In brossura

25.89 €

Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools an industrialization of FDTs. Among the important features presented are: FDT-based system and protocol engineering; FDT application to distributed systems; Protocol engineeering; Practical experience and case studies. Formal Methods for Protocol Engineering and Distributed Systems contains the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification, which was sponsored by the International Federation for Information Processing (IFIP) and was held in Beijing, China, in October 1999. This volume is suitable as a secondary text for a graduate level course on Distributed Systems or Communications, and as a reference for researchers and industry practitioners.