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ť

Process Algebra and Probabilistic Methods: Performance Modeling and Verification

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Process Algebra and Probabilistic Methods: Performance Modeling and Verification Holger Hermanns
Libristo kód: 01564460
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, júl 2002
This book constitutes the refereed proceedings of the Joint International Workshop on Process Algebr... Celý popis
? points 154 b
61.28 €
Skladom u dodávateľa v malom množstve Odosielame za 13-16 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

TOP
Garden Fairy Alphabet Coloring Book May / Brožovaná
common.buy 3.81 €
Happy Flower Quilts: 30 Colorful Quilts, Charming Bags and Cheerful Gifts Atsuko Matsuyama / Brožovaná
common.buy 25.35 €
My Dad Is Brilliant Nick Butterworth / Leporelo
common.buy 8.24 €
Refugee Boy Benjamin Zephaniah / Brožovaná
common.buy 16.59 €
PRIPRAVUJEME
When The Blue Shift Comes Alvaro Robert Silverberg Zinos Amaro / Brožovaná
common.buy 10.56 €
News - The Televised Revolution Monika Huber / Pevná
common.buy 15.29 €
Applied Ontology Engineering in Cloud Services, Networks and Management Systems J. Martín Serrano Orozco / Pevná
common.buy 120.75 €
Memoir of Ulric Dahlgren. by His Father, Rear-Admiral Dahlgren. John Adolphus Bernard Dahlgren / Brožovaná
common.buy 29.68 €
Heritage Tourism Hyung Yu Park / Pevná
common.buy 225.72 €
Cuticle Techniques in Arthropods T. A. Miller / Brožovaná
common.buy 120.75 €
Das afrikanische Gewerbe Heinrich Schurtz / Brožovaná
common.buy 14.58 €
Recipe for Radiance Alexis Wolfer / Brožovaná
common.buy 21.53 €
Online-Kommunikation - Die Psychologie Der Neuen Medien Fur Die Berufspraxis: E-Mail, Website, Newsletter, Marketing, Kundenkommunikation Annette Kielholz / Pevná
common.buy 77.48 €
Anglo-Saxon Chronicle Michael Swanton / Brožovaná
common.buy 28.07 €
Art, Faith and Place in East Anglia T A Heslop / Pevná
common.buy 181.24 €
Growing Up In Britain - Ensuring a Healthy Future for our Children Veronica English / Brožovaná
common.buy 51.72 €

This book constitutes the refereed proceedings of the Joint International Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2002, held in Copenhagen, Denmark, in July 2002.The 10 revised full papers and four abstracts presented together with two invited contributions were carefully reviewed and selected from 19 submissions. Among the issues addressed are fault-tolerant systems, security analysis, probabilistic protocols, reduction refinement, concurrency, model checking, stochastic modeling, local area network protocols, stochastic process algebras, and Petri nets.

Informácie o knihe

Celý názov Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Autor Holger Hermanns, Roberto Segala
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2002
Počet strán 222
EAN 9783540439134
ISBN 3540439137
Libristo kód 01564460
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 730
Rozmery 155 x 235 x 13

Kategórie

Matematika a veda > Matematika > Matematické základy > Matematická logika
Matematika a veda > Matematika > Aplikovaná matematika > Matematické modelovanie
Matematika a veda > Matematika > Algebra
Technológie, strojárstvo, poľnohospodárstvo > Technológie: všeobecné témy > Matematika pre technikov
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
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 > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Operačné systémy
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