Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Formal Techniques for Networked and Distributed Systems

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

Jezik

Angleščina

Knjiga Trda

Koda Libristo: 01397070

Založba Springer, Berlin, november 2000

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

Koda Libristo: 01397070

499 b

206.15 €

Na zalogi pri dobavitelju v majhnih količinah Odposlali bomo v 13-18 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Základy Knihy V-VI Eukleides

Mehka

6.56 €

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

Mehka

7.88 €

Fullspace-Projektion Ute B Schroder

Trda

49.05 €

La psychiatrie francophone DELTEIL

Mehka

22.85 €

Confidences des noces roman LAURE SYLVIE ADOU DA

Mehka

13.04 €

Awele: Awele, o Amante de Vestidos Esther Adewuyi

Mehka

8.99 €

Das Paradoxe Geschlecht Gesa Lindemann

Mehka

40.15 €

Kohlenwasserstoff Abbaupotenzial von heterotrophen Bakterien in Nigeria Akwukwaegbu Roseline

Mehka

46.12 €

Tokyo revengers Ken Wakui

Mehka

7.37 €

Boy's Abyss 13 Nana Umino

Mehka

6.97 €

Ciao Antonella Abbatiello

Trda

16.58 €

Český jazyk Testové úlohy Roman Kanda

Mehka

7.48 €

Die Wirtschaft Bulgariens seit 1945. R. Peter Rochlin

Mehka

48.24 €

La Leyenda de la Sombra de la Luna Joe Barfield

Mehka

12.33 €

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

Mehka

29.73 €

In meinem Schatten werde ich getragen Tomas Tranströmer

Mehka

14.46 €

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

Mehka

40.25 €

Die Arbeitersportbewegung in der Schweiz 1874-1947 Dominique M Frankhauser

Mehka

37.11 €

Biomedizin Und Ethik Hans-Peter Schreiber

Trda

35.50 €

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

Mehka

26.29 €

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

Mehka

23.56 €

Ohnivý most Miroslav Šnajdr

Knjiga

8.49 €

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

Mehka

20.22 €

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

Trda

30.03 €

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.