Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Formal Techniques for Networked and Distributed Systems - FORTE 2004

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

Limba englezăengleză
Carte Carte broșată
Carte Formal Techniques for Networked and Distributed Systems - FORTE 2004 David de Frutos-Escrig
Codul Libristo: 01559882
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, septembrie 2004
This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on F... Descrierea completă
? points 132 b
285.16 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Terminalserver Mit Citrix Metaframe XP Thomas Joos / Carte Carte broșată
common.buy 292.96 lei
Ils ont éclairé mon chemin Louis Nucéra / Carte Carte broșată
common.buy 171.21 lei
Mon cahier Mariage new Louisa Khalfa-Elfki / Carte Carte broșată
common.buy 58.62 lei
Stèle pour le sous-lieutenant Grunberg Benoît Rayski / Carte Carte broșată
common.buy 100.21 lei
Langenscheidt Der große Audio-Wortschatztrainer Französisch / Digital Digital
common.buy 64.76 lei
Ernährungsratgeber Morbus Crohn und Colitis ulcerosa Sven-David Müller / Carte Carte broșată
common.buy 84.82 lei
Les hommes de bonne volonte Tome 1 Jules Romains / Carte Carte broșată
common.buy 204.59 lei
Slonica koja je izgubila sreću Ajahn Brahm / Carte Carte broșată
common.buy 96.99 lei
Madre! PADILLA / Carte Copertă tare
common.buy 119.75 lei
Die Lehrerschelte Gustav Keller / Carte Carte broșată
common.buy 150.01 lei
Suffrage des femmes dans tous les pays Alice Zimmern / Carte Carte broșată
common.buy 115.59 lei
Dionysi Halicarnasensis Antiquitatum Romanarum Quae Supersunt, Volume 3 Dionysius / Carte Carte broșată
common.buy 178.80 lei
Allgemeine Encyclopaedie der Wissenschaften und Kuenste Johann S. Ersch / Carte Carte broșată
common.buy 134.00 lei
Albert jede domů Homer Hickam / Carte Copertă tare
common.buy 71.20 lei
Les Petits Bollandistes: Vies Des Saints. T. XIII, Du 28 Octobre Au 30 Novembre (Ed.1876) Paul Guerin / Carte Carte broșată
common.buy 200.43 lei
Leftin
SYMPATIE K ĎÁBLU Justin Gustainis / Carte Carte
common.buy 8.41 lei
Guantanamo. Rechtlicher Status der Inhaftierten Veronika V / Carte Carte broșată
common.buy 89.60 lei
Richterin Conrad Ferdinand Meyer / Carte Carte broșată
common.buy 27.75 lei
Musikunterricht an einem Deutsch-Franzoesischen Gymnasium. Bericht uber das Orientierungspraktikum Jakob Timm / Carte Carte broșată
common.buy 94.80 lei
Essai Sur Le Vocalisme Du Sogdien. These Complementaire Pour Le Doctorat Es Lettres Presentee Gauthiot-R / Carte Carte broșată
common.buy 83.37 lei
El Kama Sutra: Esencia Erotoca de la India Bret Norton / Carte Carte broșată
common.buy 128.80 lei
Entre el autoritarismo y la democracia : los procesos electorales en el Magreb PAREJO / Carte Carte broșată
common.buy 163.83 lei
Jak pokonalam raka Monika Godlewska / Carte Carte broșată
common.buy 32.22 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Formal Techniques for Networked and Distributed Systems - FORTE 2004
Autor David de Frutos-Escrig, Manuel Nunez
Limba engleză
Legare Carte - Carte broșată
Data publicării 2004
Număr pagini 382
EAN 9783540232520
ISBN 3540232524
Codul Libristo 01559882
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 1210
Dimensiuni 155 x 235 x 22

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Aquatic and Wetland Plants of Southwestern United States Donovan Stewart Correll / Carte Copertă tare
common.buy 463.55 lei
Romance of Private Life Clark / Carte Carte broșată
common.buy 348.99 lei
Permanent Sovereignty over Natural Resources Marc Bungenberg / Carte Carte broșată
common.buy 568.77 lei
El cultivo de la anguila Atsushi Usui / Carte Carte broșată
common.buy 68.60 lei
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 / Carte Carte broșată
common.buy 54.57 lei
Income Investing Secrets: How to Receive Ever-Growing Dividend and Interest Checks, Safeguard Your Portfolio and Retire Wealthy Richard Stooker / Carte Carte broșată
common.buy 121.00 lei
Make Money Coloring, A Subliminal Adult Coloring Book: Volume 1 Stephen E Jorgensen / Carte Carte broșată
common.buy 46.77 lei
Development of a Mechanism Operated Agriculture Sprayer Ronak Jakasania / Carte Carte broșată
common.buy 178.18 lei
Modes of Bio-Bordering Rafaela Granja / Carte Copertă tare
common.buy 293.99 lei
Tentmaking KRUGER / Carte Copertă tare
common.buy 210.41 lei
Drauga - Ahrimanian Yatuk Dinoih Michael W. Ford / Carte Carte broșată
common.buy 140.96 lei
Chappell Roan: A Little Golden Book Biography Maria Lia Malandrino / Carte Copertă tare
common.buy 31.18 lei
Huckleberry Finn Jens Hoffmann / Carte Copertă tare
common.buy 185.98 lei
Choice, Welfare, and Development Basu / Carte Copertă tare
common.buy 896.25 lei
Recent Developments in Nonstationary Analysis George Trevino / Carte Copertă tare
common.buy 486.22 lei
Dyke Swarms - Time Markers of Crustal Evolution E. Hanski / Carte Copertă tare
common.buy 1 512.63 lei
Efficient Algorithms for Listing Combinatorial Structures Leslie Ann Goldberg / Carte Copertă tare
common.buy 807.04 lei
Fundamentals of Refractory Technology - Ceramics Transactions V125 Bennett / Carte Carte broșată
common.buy 755.79 lei
THE SPANISH REGIME IN MISSOURI V2: A COL LOUIS HOUCK / Carte Copertă tare
common.buy 282.97 lei
Just How Dumb Do You Think I Am? Samuel Goodwin / Carte Carte broșată
common.buy 119.55 lei
Halibut Karen Barnaby / Carte Carte broșată
common.buy 108.84 lei
Dietetic and Hygienic Gazette, Volume 22 Anonymous / Carte Copertă tare
common.buy 251.58 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?