phone 02/210 210 99
LIBRISTO 0
Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €
phone Kontakt phoneAko nakupovať

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
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 154 b
62.28 €
Skladom u dodávateľa v malom množstve Odosielame za 10-15 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

TOP
Narozena pod toulavou hvězdou Zuzana Kulhánková / Pevná
common.buy 7.05 €
Egon Schiele Jane Kallir / Pevná
common.buy 27.30 €
Teleportation Accident Ned Beauman / Brožovaná
common.buy 10.42 €
Realita vesmíru Jan Blažej / Brožovaná
common.buy 5.82 €
Celostný obraz sveta Ignác Prno / Brožovaná
common.buy 6.54 €
K9 Explosive and Mine Detection Resi Gerritsen / Brožovaná
common.buy 55.43 €
Raven, the Dove, and the Owl of Minerva Mark Glouberman / Pevná
common.buy 85.29 €
Ewalds Mathespielwiese Ewald Gronewold / Brožovaná
common.buy 22.39 €
Das große Buch vom Club Christoph Bausenwein / Pevná
common.buy 18.91 €
Assessment Issues in Child Neuropsychology Michael G. Tramontana / Brožovaná
common.buy 122.83 €
Anlagenrecht Martin Kind / Brožovaná
common.buy 39.37 €

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.

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

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