phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč PPL 99 Kč Zásilkovna 54 Kč
phone Kontakt phoneJak nakupovat
Vážení zákazníci, z důvodu státního svátku není dnes zákaznická podpora k dispozici. Vašim požadavkům se budeme věnovat následující pracovní den. Děkujeme za pochopení.

Formal Techniques for Networked and Distributed Systems - FORTE 2002

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, října 2002
This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on F... Celý popis
? points 168 b
1 681 Kč
Skladem u dodavatele v malém množství Odesíláme za 12-15 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

TOP
Egon Schiele Jane Kallir / Pevná
common.buy 676 Kč
Teleportation Accident Ned Beauman / Brožovaná
common.buy 276 Kč
Narozena pod toulavou hvězdou Zuzana Kulhánková / Pevná
common.buy 167 Kč
Realita vesmíru Jan Blažej / Brožovaná
common.buy 125 Kč
Celostný obraz sveta Ignác Prno / Brožovaná
common.buy 152 Kč
K9 Explosive and Mine Detection Resi Gerritsen / Brožovaná
common.buy 1 503 Kč
Ewalds Mathespielwiese Ewald Gronewold / Brožovaná
common.buy 614 Kč
Raven, the Dove, and the Owl of Minerva Mark Glouberman / Pevná
common.buy 2 107 Kč
Das große Buch vom Club Christoph Bausenwein / Pevná
common.buy 514 Kč
Anlagenrecht Martin Kind / Brožovaná
common.buy 975 Kč
Assessment Issues in Child Neuropsychology Michael G. Tramontana / Brožovaná
common.buy 3 313 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.

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

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