Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Formal Techniques for Networked and Distributed Systems - FORTE 2002

22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Techniques for Networked and Distributed Systems - FORTE 2002 Doron A. Peled
Libristo kód: 01555972
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, říjen 2002
This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on F... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Le sacre des impies Ghislain Gilberti / Kniha Brožovaná
common.buy 696 Kč
L'Arc de triomphe de l'Étoile Dominique Fernandes / Kniha Brožovaná
common.buy 305 Kč
Course à pied. S’entrainer à la sensation Billat / Kniha Brožovaná
common.buy 610 Kč
Pociąg do Imperium Maja Wolny / Kniha Brožovaná
common.buy 306 Kč
Libanon. Religionen: 1 : 350.000. (Lebanon. Religions) Hartmann Tiskovina Mapa
common.buy 1 211 Kč
Vorlesungen über neuere Geometrie Moritz Pasch / Kniha Brožovaná
common.buy 413 Kč
Die sterbliche Seele der Freiheit Marco Buschmann / Kniha Pevná
common.buy 742 Kč
JE SUIS GROSSE KONIG MARINA / Kniha Brožovaná
common.buy 557 Kč
Mystische Vollmondnächte (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Kalendář/Diář Kalendář
common.buy 646 Kč
Narozena pod toulavou hvězdou Zuzana Kulhánková / Kniha Pevná
common.buy 166 Kč
Realita vesmíru Jan Blažej / Kniha Brožovaná
common.buy 125 Kč
Chancen und Grenzen der Beschulung von SuS mit Schadel-Hirn-Trauma Fabio Priano / Kniha Brožovaná
common.buy 369 Kč
Anlagenrecht Martin Kind / Kniha Brožovaná
common.buy 937 Kč
Ewalds Mathespielwiese Ewald Gronewold / Kniha Brožovaná
common.buy 469 Kč
68 chansons d'Amour: Textes de chansons Stephane Ternoise / Kniha Brožovaná
common.buy 296 Kč
Lesen und Schreiben 1700 bis 1900 Alfred Messerli / Kniha Pevná
common.buy 5 460 Kč
Befristete Arbeitsverträge nach russischem und deutschem Recht Alexander Reinhardt / Kniha Brožovaná
common.buy 1 138 Kč
La serpiente emplumada D. H. Lawrence / Kniha Brožovaná
common.buy 844 Kč
Armin Heinrich Hofmann / Kniha Brožovaná
common.buy 267 Kč

This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002.The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions. All current aspects of formal method for distributed systems and communication protocols are addressed, in particular formal specification, testing, and verification of such systems.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Formal Techniques for Networked and Distributed Systems - FORTE 2002
Autor Doron A. Peled, Moshe Y. Vardi
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2002
Počet stran 374
EAN 9783540001416
ISBN 3540001417
Libristo kód 01555972
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1200
Rozměry 155 x 235 x 21

Kategorie

Výpočetní a informační technologie > Informatika > Umělá inteligence > Strojní učení
Výpočetní a informační technologie > Počítačový hardware > Síťová zařízení
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Operační systémy
Výpočetní a informační technologie > Počítačové sítě a komunikace
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Globalization, Economic Growth and Innovation Dynamics Paul J. J. Welfens / Kniha Pevná
common.buy 2 357 Kč
Image Processing, Analysis and Machine Vision Milan Sonka / Kniha Brožovaná
common.buy 2 357 Kč
Lloyd George: The Man And His Story Frank Dilnot / Kniha Pevná
common.buy 924 Kč
Last Chance to See Douglas Adams / Kniha Brožovaná
common.buy 303 Kč
Surfing on the Internet J. C. Herz / Kniha Brožovaná
common.buy 428 Kč
Catalogue of the Technical Reference Library of works on printing and the allied arts / Kniha Pevná
common.buy 1 147 Kč
Kintsugi Wellness Candice Kumai / Kniha Pevná
common.buy 519 Kč
Transitions from Care to Independence DRISCOLL / Kniha Pevná
common.buy 5 127 Kč
Professor and Mrs. Whats-A-Ma-Call-It Go to London James Christopher Jackson / Kniha Pevná
common.buy 559 Kč
Dean's Demise Richard Fletcher / Kniha Brožovaná
common.buy 475 Kč
K9 Explosive and Mine Detection Resi Gerritsen / Kniha Brožovaná
common.buy 668 Kč
examination of the Rev. Mr. John Wesley's Primitive physic John Wesley / Kniha Brožovaná
common.buy 287 Kč
Complex Dimensions Brenda Murphy / Kniha Brožovaná
common.buy 292 Kč
Evidence of Guilt: A Kali O'Brien Mystery Jonnie Jacobs / Kniha Brožovaná
common.buy 299 Kč
Egg Art Katya Trischuk / Kniha Brožovaná
common.buy 226 Kč
Where Are the Donuts? ROGER ELLSWORTH / Kniha Brožovaná
common.buy 242 Kč
A1 Movers 3 Audio CDs / Audio Audio CD
common.buy 459 Kč
Grammar Choices for Graduate and Professional Writers Nigel A. Caplan / Kniha Brožovaná
common.buy 646 Kč
Připravujeme
Egon Schiele Jane Kallir / Kniha Pevná
common.buy 596 Kč
Raven, the Dove, and the Owl of Minerva Mark Glouberman / Kniha Pevná
common.buy 2 078 Kč
The Empath's Self-Care Journal: 52 Weeks of Prompts, Practices, and Positive Affirmations to Help You Thrive Mishka Clavijo Kimball / Kniha Brožovaná
common.buy 258 Kč
Teleportation Accident Ned Beauman / Kniha Brožovaná
common.buy 307 Kč
Assessment Issues in Child Neuropsychology Michael G. Tramontana / Kniha Brožovaná
common.buy 2 646 Kč
Environmental Adaptations and Stress Tolerance of Plants in the Era of Climate Change Parvaiz Ahmad / Kniha Pevná
common.buy 4 599 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?