Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
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 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Formal Techniques for Networked and Distributed Systems - FORTE 2004

24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Formal Techniques for Networked and Distributed Systems - FORTE 2004 David de Frutos-Escrig
Koda Libristo: 01559882
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, september 2004
This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on F... Celoten opis
? points 118 b
48.71 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Terminalserver Mit Citrix Metaframe XP Thomas Joos / Knjiga Mehka
common.buy 50.02 €
Ils ont éclairé mon chemin Louis Nucéra / Knjiga Mehka
common.buy 29.64 €
Mon cahier Mariage new Louisa Khalfa-Elfki / Knjiga Mehka
common.buy 10.08 €
Stèle pour le sous-lieutenant Grunberg Benoît Rayski / Knjiga Mehka
common.buy 17.34 €
Langenscheidt Der große Audio-Wortschatztrainer Französisch / Digitalno Digitalno
common.buy 10.98 €
Ernährungsratgeber Morbus Crohn und Colitis ulcerosa Sven-David Müller / Knjiga Mehka
common.buy 14.41 €
Les hommes de bonne volonte Tome 1 Jules Romains / Knjiga Mehka
common.buy 35.39 €
Slonica koja je izgubila sreću Ajahn Brahm / Knjiga Mehka
common.buy 16.43 €
Madre! PADILLA / Knjiga Trda
common.buy 19.15 €
Die Lehrerschelte Gustav Keller / Knjiga Mehka
common.buy 25.61 €
Suffrage des femmes dans tous les pays Alice Zimmern / Knjiga Mehka
common.buy 19.36 €
Dionysi Halicarnasensis Antiquitatum Romanarum Quae Supersunt, Volume 3 Dionysius / Knjiga Mehka
common.buy 30.85 €
Allgemeine Encyclopaedie der Wissenschaften und Kuenste Johann S. Ersch / Knjiga Mehka
common.buy 22.68 €
Albert jede domů Homer Hickam / Knjiga Trda
common.buy 11.99 €
Les Petits Bollandistes: Vies Des Saints. T. XIII, Du 28 Octobre Au 30 Novembre (Ed.1876) Paul Guerin / Knjiga Mehka
common.buy 38.12 €
Poceni
SYMPATIE K ĎÁBLU Justin Gustainis / Knjiga Knjiga
common.buy 1.60 €
Guantanamo. Rechtlicher Status der Inhaftierten Veronika V / Knjiga Mehka
common.buy 15.22 €
Richterin Conrad Ferdinand Meyer / Knjiga Mehka
common.buy 4.73 €
Musikunterricht an einem Deutsch-Franzoesischen Gymnasium. Bericht uber das Orientierungspraktikum Jakob Timm / Knjiga Mehka
common.buy 16.03 €
Essai Sur Le Vocalisme Du Sogdien. These Complementaire Pour Le Doctorat Es Lettres Presentee Gauthiot-R / Knjiga Mehka
common.buy 15.83 €
El Kama Sutra: Esencia Erotoca de la India Bret Norton / Knjiga Mehka
common.buy 22.38 €
Entre el autoritarismo y la democracia : los procesos electorales en el Magreb PAREJO / Knjiga Mehka
common.buy 28.43 €
Jak pokonalam raka Monika Godlewska / Knjiga Mehka
common.buy 5.44 €

This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2004, held in Madrid, Spain, in September 2004.The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 54 submissions. Among the topics addressed are state-based specification, distributed Java objects, UML and SDL, algorithm verification, communicating automata, design recovery, formal protocol testing, testing and model checking, distributed real-time systems, formal composition, distributed testing, automata for ACTL, symbolic state space representation, pi-calculus, concurrency, Petri nets, routing protocol verification, and intrusion detection.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Formal Techniques for Networked and Distributed Systems - FORTE 2004
Avtor David de Frutos-Escrig, Manuel Nunez
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2004
Število strani 382
EAN 9783540232520
ISBN 3540232524
Koda Libristo 01559882
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 1210
Mere 155 x 235 x 22

Kategorije

Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Computing & Information Technology > Computer networking & communications
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Aquatic and Wetland Plants of Southwestern United States Donovan Stewart Correll / Knjiga Trda
common.buy 78.97 €
Wir sind viele Amir Amirani / Film Blu-ray
common.buy 12.09 €
Romance of Private Life Clark / Knjiga Mehka
common.buy 63.74 €
Permanent Sovereignty over Natural Resources Marc Bungenberg / Knjiga Mehka
common.buy 97.12 €
El cultivo de la anguila Atsushi Usui / Knjiga Mehka
common.buy 11.79 €
Poetry Book - Abyss of Bliss (Love Poems About Life, Poems About Love, Inspirational Poems, Friendship Poems, Romantic Poems, I love You Poems, Poetry Nerissa Marie / Knjiga Mehka
common.buy 9.37 €
Income Investing Secrets: How to Receive Ever-Growing Dividend and Interest Checks, Safeguard Your Portfolio and Retire Wealthy Richard Stooker / Knjiga Mehka
common.buy 20.77 €
Make Money Coloring, A Subliminal Adult Coloring Book: Volume 1 Stephen E Jorgensen / Knjiga Mehka
common.buy 8.06 €
Development of a Mechanism Operated Agriculture Sprayer Ronak Jakasania / Knjiga Mehka
common.buy 30.15 €
Modes of Bio-Bordering Rafaela Granja / Knjiga Trda
common.buy 50.42 €
Tentmaking KRUGER / Knjiga Trda
common.buy 35.39 €
Drauga - Ahrimanian Yatuk Dinoih Michael W. Ford / Knjiga Mehka
common.buy 24.30 €
Chappell Roan: A Little Golden Book Biography Maria Lia Malandrino / Knjiga Trda
common.buy 5.13 €
Top
The Woman / Film Blu-ray
common.buy 10.68 €
Huckleberry Finn Jens Hoffmann / Knjiga Trda
common.buy 31.46 €
Choice, Welfare, and Development Basu / Knjiga Trda
common.buy 156.73 €
Recent Developments in Nonstationary Analysis George Trevino / Knjiga Trda
common.buy 84.41 €
Dyke Swarms - Time Markers of Crustal Evolution E. Hanski / Knjiga Trda
common.buy 278.38 €
Efficient Algorithms for Listing Combinatorial Structures Leslie Ann Goldberg / Knjiga Trda
common.buy 139.99 €
Fundamentals of Refractory Technology - Ceramics Transactions V125 Bennett / Knjiga Mehka
common.buy 130.51 €
THE SPANISH REGIME IN MISSOURI V2: A COL LOUIS HOUCK / Knjiga Trda
common.buy 48.91 €
Halibut Karen Barnaby / Knjiga Mehka
common.buy 18.25 €
Dietetic and Hygienic Gazette, Volume 22 Anonymous / Knjiga Trda
common.buy 43.46 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?