Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Formal Techniques for Networked and Distributed Systems - FORTE 2004

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Techniques for Networked and Distributed Systems - FORTE 2004 David de Frutos-Escrig
Libristo kód: 01559882
Nakladateľstvo 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... Celý popis
? points 125 b
51.68 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Terminalserver Mit Citrix Metaframe XP Thomas Joos / Kniha Brožovaná
common.buy 53.10 €
Ils ont éclairé mon chemin Louis Nucéra / Kniha Brožovaná
common.buy 32.56 €
Mon cahier Mariage new Louisa Khalfa-Elfki / Kniha Brožovaná
common.buy 11.12 €
Stèle pour le sous-lieutenant Grunberg Benoît Rayski / Kniha Brožovaná
common.buy 19.01 €
Langenscheidt Der große Audio-Wortschatztrainer Französisch / Digital Digital
common.buy 11.62 €
Ernährungsratgeber Morbus Crohn und Colitis ulcerosa Sven-David Müller / Kniha Brožovaná
common.buy 15.26 €
Les hommes de bonne volonte Tome 1 Jules Romains / Kniha Brožovaná
common.buy 38.94 €
Slonica koja je izgubila sreću Ajahn Brahm / Kniha Brožovaná
common.buy 20.52 €
Madre! PADILLA / Kniha Pevná
common.buy 21.64 €
Die Lehrerschelte Gustav Keller / Kniha Brožovaná
common.buy 27.10 €
Suffrage des femmes dans tous les pays Alice Zimmern / Kniha Brožovaná
common.buy 19.41 €
Dionysi Halicarnasensis Antiquitatum Romanarum Quae Supersunt, Volume 3 Dionysius / Kniha Brožovaná
common.buy 30.94 €
Allgemeine Encyclopaedie der Wissenschaften und Kuenste Johann S. Ersch / Kniha Brožovaná
common.buy 25.58 €
Albert jede domů Homer Hickam / Kniha Pevná
common.buy 13.14 €
Les Petits Bollandistes: Vies Des Saints. T. XIII, Du 28 Octobre Au 30 Novembre (Ed.1876) Paul Guerin / Kniha Brožovaná
common.buy 38.23 €
Lacno
SYMPATIE K ĎÁBLU Justin Gustainis / Kniha Kniha
common.buy 4.44 €
Guantanamo. Rechtlicher Status der Inhaftierten Veronika V / Kniha Brožovaná
common.buy 16.18 €
Richterin Conrad Ferdinand Meyer / Kniha Brožovaná
common.buy 5.05 €
Musikunterricht an einem Deutsch-Franzoesischen Gymnasium. Bericht uber das Orientierungspraktikum Jakob Timm / Kniha Brožovaná
common.buy 17.09 €
Essai Sur Le Vocalisme Du Sogdien. These Complementaire Pour Le Doctorat Es Lettres Presentee Gauthiot-R / Kniha Brožovaná
common.buy 15.87 €
El Kama Sutra: Esencia Erotoca de la India Bret Norton / Kniha Brožovaná
common.buy 23.26 €
Entre el autoritarismo y la democracia : los procesos electorales en el Magreb PAREJO / Kniha Brožovaná
common.buy 31.25 €
Jak pokonalam raka Monika Godlewska / Kniha Brožovaná
common.buy 5.45 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Formal Techniques for Networked and Distributed Systems - FORTE 2004
Autor David de Frutos-Escrig, Manuel Nunez
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2004
Počet strán 382
EAN 9783540232520
ISBN 3540232524
Libristo kód 01559882
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1210
Rozmery 155 x 235 x 22

Kategórie

Výpočtové a informačné technológie > Počítačový hardvér > Sieťové zariadenia
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Operačné systémy
Výpočtové a informačné technológie > Počítačové siete a komunikácia
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Aquatic and Wetland Plants of Southwestern United States Donovan Stewart Correll / Kniha Pevná
common.buy 83.85 €
Romance of Private Life Clark / Kniha Brožovaná
common.buy 60.99 €
Permanent Sovereignty over Natural Resources Marc Bungenberg / Kniha Brožovaná
common.buy 102.97 €
El cultivo de la anguila Atsushi Usui / Kniha Brožovaná
common.buy 13.04 €
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 / Kniha Brožovaná
common.buy 9.40 €
Income Investing Secrets: How to Receive Ever-Growing Dividend and Interest Checks, Safeguard Your Portfolio and Retire Wealthy Richard Stooker / Kniha Brožovaná
common.buy 20.83 €
Make Money Coloring, A Subliminal Adult Coloring Book: Volume 1 Stephen E Jorgensen / Kniha Brožovaná
common.buy 8.08 €
Development of a Mechanism Operated Agriculture Sprayer Ronak Jakasania / Kniha Brožovaná
common.buy 32.06 €
Modes of Bio-Bordering Rafaela Granja / Kniha Pevná
common.buy 53.30 €
Tentmaking KRUGER / Kniha Pevná
common.buy 35.50 €
Drauga - Ahrimanian Yatuk Dinoih Michael W. Ford / Kniha Brožovaná
common.buy 24.37 €
Chappell Roan: A Little Golden Book Biography Maria Lia Malandrino / Kniha Pevná
common.buy 5.55 €
The Woman / Video Blu-ray
common.buy 11.32 €
Huckleberry Finn Jens Hoffmann / Kniha Pevná
common.buy 33.47 €
Choice, Welfare, and Development Basu / Kniha Pevná
common.buy 157.19 €
Recent Developments in Nonstationary Analysis George Trevino / Kniha Pevná
common.buy 84.66 €
Dyke Swarms - Time Markers of Crustal Evolution E. Hanski / Kniha Pevná
common.buy 264.31 €
Efficient Algorithms for Listing Combinatorial Structures Leslie Ann Goldberg / Kniha Pevná
common.buy 140.40 €
Fundamentals of Refractory Technology - Ceramics Transactions V125 Bennett / Kniha Brožovaná
common.buy 130.89 €
THE SPANISH REGIME IN MISSOURI V2: A COL LOUIS HOUCK / Kniha Pevná
common.buy 49.05 €
Just How Dumb Do You Think I Am? Samuel Goodwin / Kniha Brožovaná
common.buy 20.73 €
Halibut Karen Barnaby / Kniha Brožovaná
common.buy 19.51 €
Dietetic and Hygienic Gazette, Volume 22 Anonymous / Kniha Pevná
common.buy 43.59 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?