Abstraction, Refinement and Proof for Probabilistic Systems - Monographs in Computer Science - Annabelle McIver - Knjige - Springer-Verlag New York Inc. - 9781441923127 - 19. novembra 2010
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Annabelle McIver
Abstraction, Refinement and Proof for Probabilistic Systems - Monographs in Computer Science Softcover reprint of hardcover 1st ed. 2005 edition

Cena
€ 143,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 2. - 12. okt
Prejemajte obvestila o novih izdajah izvajalca Annabelle McIver

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Not rated yet

Na voljo tudi kot:

Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm . Presents results of a large and integrated body of research in the area of 'quantitative' program logics.

388 pages, 63 black & white illustrations, 5 black & white tables, biography

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 19. novembra 2010
ISBN13 9781441923127
Založniki Springer-Verlag New York Inc.
Strani 388
Dimenzije 155 × 235 × 21 mm   ·   562 g
Jezik Angleščina  

Več od istega **izdajatelja**

Ogled vseh Annabelle McIver