Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Formal Methods for Protocol Engineering and Distributed Systems

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

Jianping Wu

Samuel T. Chanson

Quiang Gao

Língua

Inglês

Livro Livro de capa dura

Código Libristo: 01397737

Editoras Springer, Berlin, novembro 1998

Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniq... Descrição completa

Código Libristo: 01397737

444 b

183.62 €

Armazenamento externo Envio em 10-13 dias

Política de devolução de 30 dias

Os clientes também compraram

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

Capa mole

5.36 €

Fotokatalityczna przepuszczalna nawierzchnia asfaltowa z oczyszczaniem spalin Guojun Zhang

Capa mole

34.63 €

Wszystko za życie Jon Krakauer

Capa mole

7.48 €

Neue Theoretisch-praktische Anweisung Zum Schachspiel Johann Allgaier

Capa mole

15.69 €

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

Capa mole

39.69 €

Viaggio archeologico nell'antica Etruria Wilhelm Dorow

Capa mole

33.31 €

DICTAGOL DICTADOS HA.DEL FUTBOL PAU ZUBIZARRETA

Livro

11.64 €

CRECIMIENTO Y DIETA GONZALEZ MONTERO DE ESPINOSA

Livro

10.73 €

Ponos i predrasude i zombiji Jane Austen

Livro de capa dura

15.89 €

Stille Jahre Raija Hauck

Capa mole

11.94 €

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

Livro de capa dura

4.75 €

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

Capa mole

7.99 €

Neuf Contes moraux, pour piano SACRE

Capa mole

27.54 €

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

Capa mole

15.08 €

Zapletený Emma Chase

Livro de capa dura

9.61 €

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

Livro de capa dura

8.09 €

Veselé hry s obrázky a čísly

Livro de capa dura

5.05 €

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

Folha

5.86 €

Štít hromu Gemmell David

Capa mole

12.24 €

Jacob beschließt zu lieben Catalin D. Florescu

Livro de capa dura

15.89 €

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

Capa mole

27.74 €

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

Capa mole

10.42 €

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

Livro de capa dura

31.08 €

Kultur und Freizeit Erich Bader

Capa mole

21.26 €

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.