Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Partial-Order Methods for the Verification of Concurrent Systems

An Approach to the State-Explosion Problem

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Partial-Order Methods for the Verification of Concurrent Systems Patrice Godefroid
Libristo kod: 05274545
Nakladnici Springer, Berlin, studeni 1995
This monograph is a revised version of the author's PhD thesis, submitted to the University of Liege... Cijeli opis
? points 125 b
51.49 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Souvenirs de jeunesse 1939 - 1945 Paul Kalt / Knjiga Meki uvez
common.buy 6.74 €
Ve stopách papeže Františka Alvaro Grammatica / Knjiga Meki uvez
common.buy 4.73 €
Historias de Usera Sanzol / Knjiga Meki uvez
common.buy 19.24 €
Top
A hobbit John Ronald Reuel Tolkien / Knjiga Tvrdi uvez
common.buy 13.70 €
Odpady s?u?by zdrowia, czynniki ryzyka i dezynfekcja Eduardo Mota / Knjiga Meki uvez
common.buy 35.57 €
MINIX Movies: Killer Klowns - Jumbo Igra/Igračka Igračka
common.buy 9.97 €
Guide de conversation Italien 17ed Lonely Planet / Knjiga Meki uvez
common.buy 10.77 €
Amigurumi Pen Friends - Süße Tiere für Stifte, Federmäppchen und Co. häkeln Elham Ghasemi / Knjiga Tvrdi uvez
common.buy 9.46 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Partial-Order Methods for the Verification of Concurrent Systems
Autor Patrice Godefroid
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1996
Broj stranica 143
EAN 9783540607618
ISBN 3540607617
Libristo kod 05274545
Nakladnici Springer, Berlin
Težina 240
Dimenzije 156 x 234 x 8

Kategorija

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Field Theory in Child and Adolescent Psychoanalysis MOLINARI / Knjiga Tvrdi uvez
common.buy 238.84 €
Desiree D D Hudson / Knjiga Meki uvez
common.buy 15.71 €
AIDS to Family Government Bertha Meyer / Knjiga Meki uvez
common.buy 21.66 €
Concise Colour Medical Dictionary Elizabeth Martin / Knjiga Meki uvez
common.buy 23.17 €
Chill-out Codewords THE PUZZLE PEOPLE / Knjiga Meki uvez
common.buy 9.87 €
KUJI GOSHIN BOU. Translation of the famous work written in 1881 (English) CARACENA JOSE CARACENA / Knjiga Meki uvez
common.buy 31.74 €
Organizations for People Michael O'Malley / Knjiga Tvrdi uvez
common.buy 33.95 €
The Fembots Revolt B Cameron Lee / Knjiga Meki uvez
common.buy 14.70 €
Sylvania, Lucas County, Ohio; Gayleen Gindy / Knjiga Meki uvez
common.buy 41.01 €
Why Journalism Still Matters Michael Schudson / Knjiga Tvrdi uvez
common.buy 69.63 €
First Footsteps in East Africa or, an Exploration of Harar Burton / Knjiga Meki uvez
common.buy 24.38 €
Indonesian Children's Book: Robinson Crusoe for Coloring Timothy Dyson / Knjiga Meki uvez
common.buy 7.65 €
Wolf and Prejudice Theodora Taylor / Knjiga Meki uvez
common.buy 12.99 €
Top
Trolls World Tour Little Golden Book (DreamWorks Trolls World Tour) Golden Books / Knjiga Tvrdi uvez
common.buy 5.43 €
How to survive traveling in Australia: first-hand advice, anecdotes + warnings for young travelers Rainer Krauhs / Knjiga Meki uvez
common.buy 10.27 €
In His Name Phillip Rich / Knjiga Meki uvez
common.buy 7.85 €
A History of the General Assembly of Maryland, 1635-1904. Elihu Samuel Riley / Knjiga Meki uvez
common.buy 27.20 €
Buildings of Arkansas Cyrus Sutherland / Knjiga Tvrdi uvez
common.buy 111.96 €
Close Encounters: Communicating in Relationships Laura K. Guerrero / Knjiga Meki uvez
common.buy 84.95 €
Top
Anne Sexton Diane Wood Middlebrook / Knjiga Meki uvez
common.buy 18.63 €
Self-Repair Networks Yoshiteru Ishida / Knjiga Tvrdi uvez
common.buy 102.59 €
Theatre of Exile Horacio Czertok / Knjiga Meki uvez
common.buy 57.33 €
Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems, Volume 1 Hisashi Handa / Knjiga Tvrdi uvez
common.buy 204.98 €
C. H. Spurgeon Autobiography, Vol. 2 C. H. Spurgeon / Audio knjiga MP3
common.buy 30.93 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?