Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Formal Techniques for Networked and Distributed Systems - FORTE 2004

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

Język AngielskiAngielski
Książka Miękka
Książka Formal Techniques for Networked and Distributed Systems - FORTE 2004 David de Frutos-Escrig
Kod Libristo: 01559882
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, wrzesień 2004
This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on F... Cały opis
? points 125 b
224.06 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Terminalserver Mit Citrix Metaframe XP Thomas Joos / Książka Miękka
common.buy 230.11 zł
Langenscheidt Der große Audio-Wortschatztrainer Französisch / Digital Digital
common.buy 50.51 zł
Stèle pour le sous-lieutenant Grunberg Benoît Rayski / Książka Miękka
common.buy 81.94 zł
Les hommes de bonne volonte Tome 1 Jules Romains / Książka Miękka
common.buy 168.09 zł
Ils ont éclairé mon chemin Louis Nucéra / Książka Miękka
common.buy 140.47 zł
Mon cahier Mariage new Louisa Khalfa-Elfki / Książka Miękka
common.buy 47.54 zł
Allgemeine Encyclopaedie der Wissenschaften und Kuenste Johann S. Ersch / Książka Miękka
common.buy 109.87 zł
Retablos de agitacion politica Emilio Peral Vega / E-book Adobe ePub DRM
common.buy 114.18 zł
Slonica koja je izgubila sreću Ajahn Brahm / Książka Miękka
common.buy 89.23 zł
Ernährungsratgeber Morbus Crohn und Colitis ulcerosa Sven-David Müller / Książka Miękka
common.buy 76.18 zł
Madre! PADILLA / Książka Twarda
common.buy 93.95 zł
Die Lehrerschelte Gustav Keller / Książka Miękka
common.buy 117.77 zł
Suffrage des femmes dans tous les pays Alice Zimmern / Książka Miękka
common.buy 89.94 zł
Dionysi Halicarnasensis Antiquitatum Romanarum Quae Supersunt, Volume 3 Dionysius / Książka Miękka
common.buy 141.19 zł
Jak pokonalam raka Monika Godlewska / Książka Miękka
common.buy 20.42 zł
Les Petits Bollandistes: Vies Des Saints. T. XIII, Du 28 Octobre Au 30 Novembre (Ed.1876) Paul Guerin / Książka Miękka
common.buy 157.72 zł
Albert jede domů Homer Hickam / Książka Twarda
common.buy 58.93 zł
Tanie
SYMPATIE K ĎÁBLU Justin Gustainis / Książka Książka
common.buy 6.97 zł
Essai Sur Le Vocalisme Du Sogdien. These Complementaire Pour Le Doctorat Es Lettres Presentee Gauthiot-R / Książka Miękka
common.buy 65.20 zł
Guantanamo. Rechtlicher Status der Inhaftierten Veronika V / Książka Miękka
common.buy 70.23 zł
Richterin Conrad Ferdinand Meyer / Książka Miękka
common.buy 21.86 zł
Musikunterricht an einem Deutsch-Franzoesischen Gymnasium. Bericht uber das Orientierungspraktikum Jakob Timm / Książka Miękka
common.buy 74.03 zł
El Kama Sutra: Esencia Erotoca de la India Bret Norton / Książka Miękka
common.buy 103.09 zł
Entre el autoritarismo y la democracia : los procesos electorales en el Magreb PAREJO / Książka Miękka
common.buy 135.64 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Formal Techniques for Networked and Distributed Systems - FORTE 2004
Autor David de Frutos-Escrig, Manuel Nunez
Język Angielski
Oprawa Książka - Miękka
Data wydania 2004
Liczba stron 382
EAN 9783540232520
ISBN 3540232524
Kod Libristo 01559882
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 1210
Wymiary 155 x 235 x 22

Kategoria

Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy > Urządzenia sieciowe
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
Informatyka i technologie informacyjne (IT) > Sieci komputerowe i telekomunikacja
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Wir sind viele Amir Amirani / Wideo Blu-ray
common.buy 55.24 zł
Romance of Private Life Clark / Książka Miękka
common.buy 290.19 zł
Permanent Sovereignty over Natural Resources Marc Bungenberg / Książka Miękka
common.buy 446.69 zł
Development of a Mechanism Operated Agriculture Sprayer Ronak Jakasania / Książka Miękka
common.buy 139.24 zł
El cultivo de la anguila Atsushi Usui / Książka Miękka
common.buy 56.67 zł
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 / Książka Miękka
common.buy 43.02 zł
Income Investing Secrets: How to Receive Ever-Growing Dividend and Interest Checks, Safeguard Your Portfolio and Retire Wealthy Richard Stooker / Książka Miękka
common.buy 95.39 zł
Make Money Coloring, A Subliminal Adult Coloring Book: Volume 1 Stephen E Jorgensen / Książka Miękka
common.buy 36.96 zł
Practical English Phonetics and Phonology Beverley Collins / Książka Miękka
common.buy 235.15 zł
Perspectives on Armenian Prospects Z. DEMIRDJIAN PH.D. / Książka Twarda
common.buy 121.16 zł
Aquatic and Wetland Plants of Southwestern United States Donovan Stewart Correll / Książka Twarda
common.buy 363.71 zł
Modes of Bio-Bordering Rafaela Granja / Książka Twarda
common.buy 231.24 zł
Tentmaking KRUGER / Książka Twarda
common.buy 163.98 zł
Drauga - Ahrimanian Yatuk Dinoih Michael W. Ford / Książka Miękka
common.buy 111.30 zł
SWORD ART ONLINE ALTERNATIVE GUN V01 V01 / Książka Miękka
common.buy 62.01 zł
Chappell Roan: A Little Golden Book Biography Maria Lia Malandrino / Książka Twarda
common.buy 23.81 zł
TOP
The Woman / Wideo Blu-ray
common.buy 49.28 zł
Dietetic and Hygienic Gazette, Volume 22 Anonymous / Książka Twarda
common.buy 198.59 zł
THE SPANISH REGIME IN MISSOURI V2: A COL LOUIS HOUCK / Książka Twarda
common.buy 223.34 zł
Halibut Karen Barnaby / Książka Miękka
common.buy 90.35 zł
Critical Theory and Critical Genres Charles Russell / Książka Twarda
common.buy 292.55 zł
Efficient Algorithms for Listing Combinatorial Structures Leslie Ann Goldberg / Książka Twarda
common.buy 638.61 zł
Fundamentals of Refractory Technology - Ceramics Transactions V125 Bennett / Książka Miękka
common.buy 596.71 zł
Dyke Swarms - Time Markers of Crustal Evolution E. Hanski / Książka Twarda
common.buy 1 266.65 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?