phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Zásilkovna 44 Kč Kurýr GLS 74 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Partial-Order Methods for the Verification of Concurrent Systems

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Partial-Order Methods for the Verification of Concurrent Systems Patrice Godefroid
Libristo kód: 05274545
Nakladatelství Springer, Berlin, listopadu 1995
This monograph is a revised version of the author's PhD thesis, submitted to the University of Liege... Celý popis
? points 154 b
1 540 Kč včetně DPH
Skladem u dodavatele v malém množství Odesíláme za 13-16 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence David L. Dowe / Brožovaná
common.buy 1 540 Kč
Social Cage Alexandra Maryanski / Pevná
common.buy 1 878 Kč
Připravujeme
Der kleine Ritter Trenk, 1 Audio-CD Kirsten Boie / Audio CD
common.buy 276 Kč
London's Underworld Thomas Holmes / Brožovaná
common.buy 622 Kč
Sandman's Goodnight Stories Abbie Phillips Walker / Pevná
common.buy 1 056 Kč
Action Numeracy Middle Primary Teacher Guide Christine Lenghaus / Brožovaná
common.buy 1 612 Kč
Psychiatric Manifestations of Neurotoxins, An Issue of Psychiatric Clinics Michael Dobbs / Pevná
common.buy 2 115 Kč
Estuarine Morphodynamics of the Sunderbans Gautam Kumar Das / Pevná
common.buy 3 037 Kč
RECENT DEVELOPMENTS IN MACROECONOMICS / Pevná
common.buy 18 599 Kč
In vitro-Studien zur Apoptose durch Rituximab Daniel Sommerlad / Brožovaná
common.buy 1 404 Kč
Moriah's Mourning and Other Half-Hour Sketches Ruth McEnery Stuart / Brožovaná
common.buy 622 Kč
US Environmental Policy in Action Michelle C. Pautz / Brožovaná
common.buy 1 676 Kč
Selbstkostenproblem in Der Kunstseidenindustrie H. Wilbert / Brožovaná
common.buy 1 676 Kč
survey on John Steinbeck's The Grapes of Wrath Bernd Steiner / Brožovaná
common.buy 986 Kč
Data Processing for the AHP/ANP Gang Kou / Brožovaná
common.buy 1 540 Kč
A DANGEROUS MOURNING Anne Perry / Pevná
common.buy 458 Kč

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.

Informace o knize

Plný název Partial-Order Methods for the Verification of Concurrent Systems
Autor Patrice Godefroid
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1996
Počet stran 143
EAN 9783540607618
ISBN 3540607617
Libristo kód 05274545
Nakladatelství Springer, Berlin
Váha 240
Rozměry 156 x 234 x 8

Kategorie

Výpočetní a informační technologie > Informatika > Interakce člověk – počítač > Design uživatelského rozhraní a použitelnost
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 > Systémová analýza a systémový design
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
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