topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 7
 |
On the Refinement Calculus
ISBN: 9783540199311 / Angielski / Miękka / 1994 / 159 str. Termin realizacji zamówienia: ok. 20 dni roboczych. On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra's programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus.
On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things ...
|
cena:
192,30 zł |
 |
The Fork-In-The-Road Indian Poetry Store
ISBN: 9781844712670 / Angielski / Miękka / 2006 / 140 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Winner of Native Writers Circle of the America's First Book Award for Poetry, this is a collection of poems by Choctaw/Chickasaw poet, Phillip Carroll Morgan. The poems range across physical and spiritual geographies of the indigenous Americas, translating ancient mythos into contemporary poetics.
Winner of Native Writers Circle of the America's First Book Award for Poetry, this is a collection of poems by Choctaw/Chickasaw poet, Phillip Carroll...
|
cena:
74,57 zł |
 |
Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings
ISBN: 9783642250316 / Angielski / Miękka / 2011 / 205 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Pa...
|
cena:
192,30 zł |
 |
Programming Methodology
ISBN: 9780387953496 / Angielski / Twarda / 2002 / 470 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The second half of the twentieth century saw an astonishing increase in computing power; today computers are unbelievably faster than they used to be, they have more memory, they can communicate routinely with remote machines all over the world - and they can fit on a desktop. But, despite this remarkable progress, the voracity of modem applications and user expectations still pushes technology right to the limit. As hardware engineers build ever-more-powerful machines, so too must software become more sophisticated to keep up. Medium- to large-scale programming projects need teams of people...
The second half of the twentieth century saw an astonishing increase in computing power; today computers are unbelievably faster than they used to be,...
|
cena:
384,63 zł |
 |
Programming Methodology
ISBN: 9781441929648 / Angielski / Miękka / 2010 / 470 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The second half of the twentieth century saw an astonishing increase in computing power; today computers are unbelievably faster than they used to be, they have more memory, they can communicate routinely with remote machines all over the world - and they can fit on a desktop. But, despite this remarkable progress, the voracity of modem applications and user expectations still pushes technology right to the limit. As hardware engineers build ever-more-powerful machines, so too must software become more sophisticated to keep up. Medium- to large-scale programming projects need teams of people...
The second half of the twentieth century saw an astonishing increase in computing power; today computers are unbelievably faster than they used to be,...
|
cena:
423,10 zł |
 |
Abstraction, Refinement and Proof for Probabilistic Systems
ISBN: 9781441923127 / Angielski / Miękka / 2010 / 388 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm .
Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm .
|
cena:
576,96 zł |
 |
The Poetry Issue: An Aster(ix) Anthology, Winter 2020
ISBN: 9781942547129 / Angielski / Miękka / 2020 / 76 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
65,95 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
