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 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
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, október 2002
This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on F... Celý popis
? points 125 b
51.56 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Le sacre des impies Ghislain Gilberti / Kniha Brožovaná
common.buy 28.65 €
L'Arc de triomphe de l'Étoile Dominique Fernandes / Kniha Brožovaná
common.buy 12.51 €
Course à pied. S’entrainer à la sensation Billat / Kniha Brožovaná
common.buy 25.02 €
Pociąg do Imperium Maja Wolny / Kniha Brožovaná
common.buy 12.61 €
Libanon. Religionen: 1 : 350.000. (Lebanon. Religions) Hartmann Tlačovina Mapa
common.buy 49.85 €
Vorlesungen über neuere Geometrie Moritz Pasch / Kniha Brožovaná
common.buy 17.05 €
Die sterbliche Seele der Freiheit Marco Buschmann / Kniha Pevná
common.buy 30.57 €
JE SUIS GROSSE KONIG MARINA / Kniha Brožovaná
common.buy 22.90 €
Mystische Vollmondnächte (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Kalendár/Diár Kalendár
common.buy 28.35 €
Narozena pod toulavou hvězdou Zuzana Kulhánková / Kniha Pevná
common.buy 6.75 €
Realita vesmíru Jan Blažej / Kniha Brožovaná
common.buy 5.14 €
Chancen und Grenzen der Beschulung von SuS mit Schadel-Hirn-Trauma Fabio Priano / Kniha Brožovaná
common.buy 16.14 €
Anlagenrecht Martin Kind / Kniha Brožovaná
common.buy 38.65 €
Ewalds Mathespielwiese Ewald Gronewold / Kniha Brožovaná
common.buy 20.48 €
68 chansons d'Amour: Textes de chansons Stephane Ternoise / Kniha Brožovaná
common.buy 12.20 €
Lesen und Schreiben 1700 bis 1900 Alfred Messerli / Kniha Pevná
common.buy 237.57 €
Befristete Arbeitsverträge nach russischem und deutschem Recht Alexander Reinhardt / Kniha Brožovaná
common.buy 49.85 €
La serpiente emplumada D. H. Lawrence / Kniha Brožovaná
common.buy 34.91 €
Armin Heinrich Hofmann / Kniha Brožovaná
common.buy 11.70 €

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 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 2002
Autor Doron A. Peled, Moshe Y. Vardi
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2002
Počet strán 374
EAN 9783540001416
ISBN 3540001417
Libristo kód 01555972
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1200
Rozmery 155 x 235 x 21

Kategórie

Výpočtové a informačné technológie > Informatika > Umelá inteligencia > Strojové učenie
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 > Teória algoritmov
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ť

Globalization, Economic Growth and Innovation Dynamics Paul J. J. Welfens / Kniha Pevná
common.buy 102.73 €
Image Processing, Analysis and Machine Vision Milan Sonka / Kniha Brožovaná
common.buy 102.73 €
Lloyd George: The Man And His Story Frank Dilnot / Kniha Pevná
common.buy 38.14 €
Last Chance to See Douglas Adams / Kniha Brožovaná
common.buy 13.41 €
Surfing on the Internet J. C. Herz / Kniha Brožovaná
common.buy 17.65 €
Catalogue of the Technical Reference Library of works on printing and the allied arts / Kniha Pevná
common.buy 47.32 €
Kintsugi Wellness Candice Kumai / Kniha Pevná
common.buy 23.00 €
Transitions from Care to Independence DRISCOLL / Kniha Pevná
common.buy 222.54 €
Professor and Mrs. Whats-A-Ma-Call-It Go to London James Christopher Jackson / Kniha Pevná
common.buy 23.00 €
Dean's Demise Richard Fletcher / Kniha Brožovaná
common.buy 19.57 €
K9 Explosive and Mine Detection Resi Gerritsen / Kniha Brožovaná
common.buy 29.56 €
examination of the Rev. Mr. John Wesley's Primitive physic John Wesley / Kniha Brožovaná
common.buy 12.61 €
Complex Dimensions Brenda Murphy / Kniha Brožovaná
common.buy 12.00 €
Evidence of Guilt: A Kali O'Brien Mystery Jonnie Jacobs / Kniha Brožovaná
common.buy 12.30 €
Egg Art Katya Trischuk / Kniha Brožovaná
common.buy 10.79 €
Where Are the Donuts? ROGER ELLSWORTH / Kniha Brožovaná
common.buy 9.98 €
Pripravujeme
A1 Movers 3 Audio CDs / Audio Audio CD
common.buy 18.96 €
Grammar Choices for Graduate and Professional Writers Nigel A. Caplan / Kniha Brožovaná
common.buy 29.76 €
Pripravujeme
Egon Schiele Jane Kallir / Kniha Pevná
common.buy 26.33 €
Raven, the Dove, and the Owl of Minerva Mark Glouberman / Kniha Pevná
common.buy 90.22 €
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 10.59 €
Teleportation Accident Ned Beauman / Kniha Brožovaná
common.buy 12.61 €
Assessment Issues in Child Neuropsychology Michael G. Tramontana / Kniha Brožovaná
common.buy 109.09 €
Environmental Adaptations and Stress Tolerance of Plants in the Era of Climate Change Parvaiz Ahmad / Kniha Pevná
common.buy 200.74 €

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ť?