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.

Partial-Order Methods for the Verification of Concurrent Systems

An Approach to the State-Explosion Problem

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Partial-Order Methods for the Verification of Concurrent Systems Patrice Godefroid
Libristo kód: 05274545
Nakladateľstvo Springer, Berlin, november 1995
This monograph is a revised version of the author's PhD thesis, submitted to the University of Liege... Celý popis
? points 125 b
51.53 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Souvenirs de jeunesse 1939 - 1945 Paul Kalt / Kniha Brožovaná
common.buy 6.75 €
Ve stopách papeže Františka Alvaro Grammatica / Kniha Brožovaná
common.buy 4.83 €
Historias de Usera Sanzol / Kniha Brožovaná
common.buy 20.26 €
Top
A hobbit John Ronald Reuel Tolkien / Kniha Pevná
common.buy 13.20 €
Odpady s?u?by zdrowia, czynniki ryzyka i dezynfekcja Eduardo Mota / Kniha Brožovaná
common.buy 35.60 €
Top
MINIX Movies: Killer Klowns - Jumbo Hra/Hračka Hračka
common.buy 10.18 €
Guide de conversation Italien 17ed Lonely Planet / Kniha Brožovaná
common.buy 11.09 €
Amigurumi Pen Friends - Süße Tiere für Stifte, Federmäppchen und Co. häkeln Elham Ghasemi / Kniha Pevná
common.buy 9.37 €
Bębny nocy Studium Jergović Miljenko / Kniha Brožovaná
common.buy 8.66 €

This monograph is a revised version of the author's PhD thesis, submitted to the University of Liege, Belgium, with Pierre Wolper as thesis advisor. The general pattern of this work is to turn logical and semantic ideas into exploitable algorithms.

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 Partial-Order Methods for the Verification of Concurrent Systems
Autor Patrice Godefroid
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 1996
Počet strán 143
EAN 9783540607618
ISBN 3540607617
Libristo kód 05274545
Nakladateľstvo Springer, Berlin
Váha 240
Rozmery 156 x 234 x 8

Kategórie

Výpočtové a informačné technológie > Informatika > Interakcia človek – počítač > Dizajn používateľského rozhrania a použiteľnosť
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 > Systémová analýza a systémový dizajn
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

Mohlo by vás tiež zaujímať

Field Theory in Child and Adolescent Psychoanalysis MOLINARI / Kniha Pevná
common.buy 239.04 €
Desiree D D Hudson / Kniha Brožovaná
common.buy 14.72 €
AIDS to Family Government Bertha Meyer / Kniha Brožovaná
common.buy 21.68 €
Concise Colour Medical Dictionary Elizabeth Martin / Kniha Brožovaná
common.buy 17.04 €
Chill-out Codewords THE PUZZLE PEOPLE / Kniha Brožovaná
common.buy 8.66 €
KUJI GOSHIN BOU. Translation of the famous work written in 1881 (English) CARACENA JOSE CARACENA / Kniha Brožovaná
common.buy 31.76 €
Organizations for People Michael O'Malley / Kniha Pevná
common.buy 31.96 €
The Fembots Revolt B Cameron Lee / Kniha Brožovaná
common.buy 14.01 €
Sylvania, Lucas County, Ohio; Gayleen Gindy / Kniha Brožovaná
common.buy 39.13 €
Why Journalism Still Matters Michael Schudson / Kniha Pevná
common.buy 69.69 €
First Footsteps in East Africa or, an Exploration of Harar Burton / Kniha Brožovaná
common.buy 22.99 €
Indonesian Children's Book: Robinson Crusoe for Coloring Timothy Dyson / Kniha Brožovaná
common.buy 7.25 €
Wolf and Prejudice Theodora Taylor / Kniha Brožovaná
common.buy 12.30 €
Trolls World Tour Little Golden Book (DreamWorks Trolls World Tour) Golden Books / Kniha Pevná
common.buy 5.84 €
How to survive traveling in Australia: first-hand advice, anecdotes + warnings for young travelers Rainer Krauhs / Kniha Brožovaná
common.buy 9.77 €
In His Name Phillip Rich / Kniha Brožovaná
common.buy 7.45 €
A History of the General Assembly of Maryland, 1635-1904. Elihu Samuel Riley / Kniha Brožovaná
common.buy 25.61 €
Buildings of Arkansas Cyrus Sutherland / Kniha Pevná
common.buy 107.51 €
Close Encounters: Communicating in Relationships Laura K. Guerrero / Kniha Brožovaná
common.buy 86.63 €
Top
Anne Sexton Diane Wood Middlebrook / Kniha Brožovaná
common.buy 17.64 €
Self-Repair Networks Yoshiteru Ishida / Kniha Pevná
common.buy 102.67 €
Theatre of Exile Horacio Czertok / Kniha Brožovaná
common.buy 60.11 €
Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems, Volume 1 Hisashi Handa / Kniha Pevná
common.buy 205.15 €
C. H. Spurgeon Autobiography, Vol. 2 C. H. Spurgeon / Audiokniha MP3
common.buy 32.47 €

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