Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Partial-Order Methods for the Verification of Concurrent Systems

An Approach to the State-Explosion Problem

Język AngielskiAngielski
Książka Miękka
Książka Partial-Order Methods for the Verification of Concurrent Systems Patrice Godefroid
Kod Libristo: 05274545
Wydawnictwo Springer, Berlin, listopad 1995
This monograph is a revised version of the author's PhD thesis, submitted to the University of Liege... Cały opis
? points 125 b
223.90 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Souvenirs de jeunesse 1939 - 1945 Paul Kalt / Książka Miękka
common.buy 29.34 zł
Ve stopách papeže Františka Alvaro Grammatica / Książka Miękka
common.buy 21.64 zł
Historias de Usera Sanzol / Książka Miękka
common.buy 79.72 zł
TOP
A hobbit John Ronald Reuel Tolkien / Książka Twarda
common.buy 63.20 zł
Odpady s?u?by zdrowia, czynniki ryzyka i dezynfekcja Eduardo Mota / Książka Miękka
common.buy 154.53 zł
TOP
MINIX Movies: Killer Klowns - Jumbo Gra/Zabawka Zabawka
common.buy 43.50 zł
Guide de conversation Italien 17ed Lonely Planet / Książka Miękka
common.buy 48.53 zł
Amigurumi Pen Friends - Süße Tiere für Stifte, Federmäppchen und Co. häkeln Elham Ghasemi / Książka Twarda
common.buy 41.04 zł
Bębny nocy Studium Jergović Miljenko / Książka Miękka
common.buy 32.21 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Partial-Order Methods for the Verification of Concurrent Systems
Autor Patrice Godefroid
Język Angielski
Oprawa Książka - Miękka
Data wydania 1996
Liczba stron 143
EAN 9783540607618
ISBN 3540607617
Kod Libristo 05274545
Wydawnictwo Springer, Berlin
Waga 240
Wymiary 156 x 234 x 8

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Interakcja człowiek-komputer > Projektowanie i ergonomia interfejsu użytkownika
Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy > Urządzenia sieciowe
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Analiza systemowa i projektowanie
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Field Theory in Child and Adolescent Psychoanalysis MOLINARI / Książka Twarda
common.buy 1 038.86 zł
Desiree D D Hudson / Książka Miękka
common.buy 68.43 zł
AIDS to Family Government Bertha Meyer / Książka Miękka
common.buy 94.40 zł
Concise Colour Medical Dictionary Elizabeth Martin / Książka Miękka
common.buy 100.86 zł
Chill-out Codewords THE PUZZLE PEOPLE / Książka Miękka
common.buy 42.78 zł
KUJI GOSHIN BOU. Translation of the famous work written in 1881 (English) CARACENA JOSE CARACENA / Książka Miękka
common.buy 130.21 zł
Organizations for People Michael O'Malley / Książka Twarda
common.buy 147.96 zł
The Fembots Revolt B Cameron Lee / Książka Miękka
common.buy 64.13 zł
Sylvania, Lucas County, Ohio; Gayleen Gindy / Książka Miękka
common.buy 178.44 zł
Why Journalism Still Matters Michael Schudson / Książka Twarda
common.buy 287.62 zł
First Footsteps in East Africa or, an Exploration of Harar Burton / Książka Miękka
common.buy 105.99 zł
Indonesian Children's Book: Robinson Crusoe for Coloring Timothy Dyson / Książka Miękka
common.buy 33.13 zł
Wolf and Prejudice Theodora Taylor / Książka Miękka
common.buy 56.63 zł
Trolls World Tour Little Golden Book (DreamWorks Trolls World Tour) Golden Books / Książka Twarda
common.buy 23.80 zł
How to survive traveling in Australia: first-hand advice, anecdotes + warnings for young travelers Rainer Krauhs / Książka Miękka
common.buy 44.73 zł
In His Name Phillip Rich / Książka Miękka
common.buy 34.06 zł
A History of the General Assembly of Maryland, 1635-1904. Elihu Samuel Riley / Książka Miękka
common.buy 118.61 zł
Buildings of Arkansas Cyrus Sutherland / Książka Twarda
common.buy 487.21 zł
Close Encounters: Communicating in Relationships Laura K. Guerrero / Książka Miękka
common.buy 369.51 zł
TOP
Anne Sexton Diane Wood Middlebrook / Książka Miękka
common.buy 81.26 zł
Self-Repair Networks Yoshiteru Ishida / Książka Twarda
common.buy 446.37 zł
Theatre of Exile Horacio Czertok / Książka Miękka
common.buy 249.34 zł
Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems, Volume 1 Hisashi Handa / Książka Twarda
common.buy 891.41 zł
C. H. Spurgeon Autobiography, Vol. 2 C. H. Spurgeon / Audiobook MP3
common.buy 141.70 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?