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 €

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

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Formal Techniques for Networked and Distributed Systems

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

Lingua

Inglese

Libro Rigido

Codice Libristo: 01397070

Casa editrice Springer, Berlin, novembre 2000

This book presents the latest worldwide results in theory and practice of formal techniques for netw... Descrizione completa

Codice Libristo: 01397070

548 b

224.09 €

Magazzino esterno in piccole quantità Inviamo tra 13-18 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Základy Knihy V-VI Eukleides

In brossura

7.69 €

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

In brossura

8.89 €

Fullspace-Projektion Ute B Schroder

Rigido

54.19 €

La psychiatrie francophone DELTEIL

In brossura

25.29 €

Confidences des noces roman LAURE SYLVIE ADOU DA

In brossura

14.79 €

Awele: Awele, o Amante de Vestidos Esther Adewuyi

In brossura

9.89 €

Das Paradoxe Geschlecht Gesa Lindemann

In brossura

44.39 €

Kohlenwasserstoff Abbaupotenzial von heterotrophen Bakterien in Nigeria Akwukwaegbu Roseline

In brossura

51.19 €

Tokyo revengers Ken Wakui

In brossura

8.49 €

Boy's Abyss 13 Nana Umino

In brossura

7.69 €

Ciao Antonella Abbatiello

Rigido

19.09 €

Český jazyk Testové úlohy Roman Kanda

In brossura

8.59 €

Die Wirtschaft Bulgariens seit 1945. R. Peter Rochlin

In brossura

55.49 €

La Leyenda de la Sombra de la Luna Joe Barfield

In brossura

13.49 €

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

In brossura

31.79 €

In meinem Schatten werde ich getragen Tomas Tranströmer

In brossura

16.09 €

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

In brossura

44.79 €

Die Arbeitersportbewegung in der Schweiz 1874-1947 Dominique M Frankhauser

In brossura

43.09 €

Biomedizin Und Ethik Hans-Peter Schreiber

Rigido

39.69 €

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

In brossura

28.69 €

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

In brossura

26.19 €

Ohnivý most Miroslav Šnajdr

Libro

10.09 €

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

In brossura

21.99 €

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

Rigido

32.79 €

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.