https://www.kriso.ee Tue, 01 Mar 2022 00:00:00 GMT Tue, 01 Mar 2022 00:00:00 GMT https://www.kriso.ee/introducing-software-verification-dafny-language-proving-db-9781484279779.html <a href="https://www.kriso.ee/introducing-software-verification-dafny-language-proving-db-9781484279779.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978148/9781484279779.jpg" align="left" hspace="5" > </a>Boro Sitnikovski<br>ISBN: 9781484279779<br> Kirjastus: APress<br> Formaat: Pehme köide, Ilmumisaeg: 01-Mar-2022<br> Hind: 32,95 € https://www.kriso.ee/db/9781484279779.html Tue, 01 Mar 2022 00:00:00 GMT https://www.kriso.ee/bugs-that-make-your-computer-crawl-db-9781541545601.html <a href="https://www.kriso.ee/bugs-that-make-your-computer-crawl-db-9781541545601.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978154/9781541545601.jpg" align="left" hspace="5" > </a>Brian P. Cleary, Martin Goneau<br>ISBN: 9781541545601<br> Kirjastus: Lerner Publishing Group<br> Formaat: Pehme köide, Ilmumisaeg: 07-May-2019<br> Hind: 12,60 € https://www.kriso.ee/db/9781541545601.html Tue, 07 May 2019 00:00:00 GMT https://www.kriso.ee/artificial-unintelligence-how-computers-misunderstand-world-db-9780262537018.html <a href="https://www.kriso.ee/artificial-unintelligence-how-computers-misunderstand-world-db-9780262537018.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978026/9780262537018.jpg" align="left" hspace="5" > </a>Meredith Broussard<br>ISBN: 9780262537018<br> Kirjastus: MIT Press<br> Formaat: Pehme köide, Ilmumisaeg: 29-Jan-2019<br> Hind: 19,55 € https://www.kriso.ee/db/9780262537018.html Tue, 29 Jan 2019 00:00:00 GMT https://www.kriso.ee/bugs-that-make-your-computer-crawl-db-9781541533097.html <a href="https://www.kriso.ee/bugs-that-make-your-computer-crawl-db-9781541533097.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978154/9781541533097.jpg" align="left" hspace="5" > </a>Brian P. Cleary, Martin Goneau<br>ISBN: 9781541533097<br> Kirjastus: Lerner Publishing Group<br> Formaat: Kõva köide, Ilmumisaeg: 01-Jan-2019<br> Hind: 33,31 € https://www.kriso.ee/db/9781541533097.html Tue, 01 Jan 2019 00:00:00 GMT https://www.kriso.ee/artificial-unintelligence-how-computers-misunderstand-world-db-9780262038003.html <a href="https://www.kriso.ee/artificial-unintelligence-how-computers-misunderstand-world-db-9780262038003.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978026/9780262038003.jpg" align="left" hspace="5" > </a>Meredith Broussard<br>ISBN: 9780262038003<br> Kirjastus: MIT Press<br> Formaat: Kõva köide, Ilmumisaeg: 27-Apr-2018<br> Hind: 29,80 € https://www.kriso.ee/db/9780262038003.html Fri, 27 Apr 2018 00:00:00 GMT https://www.kriso.ee/concurrency-compositionality-correctness-essays-honor-willem-db-9783642115110.html <a href="https://www.kriso.ee/concurrency-compositionality-correctness-essays-honor-willem-db-9783642115110.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978364/9783642115110.jpg" align="left" hspace="5" > </a>Dennis Dams, Ulrich Hannemann, Martin Steffen<br>ISBN: 9783642115110<br> Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K<br> Formaat: Pehme köide, Ilmumisaeg: 24-Feb-2010<br> Hind: 48,70 € https://www.kriso.ee/db/9783642115110.html Wed, 24 Feb 2010 00:00:00 GMT https://www.kriso.ee/automated-defect-prevention-best-practices-software-db-9780470042120.html <a href="https://www.kriso.ee/automated-defect-prevention-best-practices-software-db-9780470042120.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978047/9780470042120.jpg" align="left" hspace="5" > </a>Dorota Huizinga, Adam Kolawa<br>ISBN: 9780470042120<br> Kirjastus: John Wiley & Sons Inc<br> Formaat: Kõva köide, Ilmumisaeg: 09-Oct-2007<br> Hind: 163,38 € https://www.kriso.ee/db/9780470042120.html Tue, 09 Oct 2007 00:00:00 GMT https://www.kriso.ee/automated-defect-prevention-best-practices-software-db-9780470165171.html <a href="https://www.kriso.ee/automated-defect-prevention-best-practices-software-db-9780470165171.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Dorota Huizinga, Adam Kolawa<br>ISBN: 9780470165171<br> Kirjastus: Wiley-Blackwell<br> Formaat: Other digital carrier, Ilmumisaeg: 22-Jan-2007<br> Hind: 115,54 € https://www.kriso.ee/db/9780470165171.html Mon, 22 Jan 2007 00:00:00 GMT https://www.kriso.ee/preventative-programming-techniques-avoid-correct-common-db-9781584502579.html <a href="https://www.kriso.ee/preventative-programming-techniques-avoid-correct-common-db-9781584502579.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978158/9781584502579.jpg" align="left" hspace="5" > </a>Brian Hawkins<br>ISBN: 9781584502579<br> Kirjastus: Charles River Media<br> Formaat: Multiple-component retail product, Ilmumisaeg: 25-Mar-2003<br> Hind: 57,24 € https://www.kriso.ee/db/9781584502579.html Tue, 25 Mar 2003 00:00:00 GMT https://www.kriso.ee/correctness-problem-computer-science-db-9780121229207.html <a href="https://www.kriso.ee/correctness-problem-computer-science-db-9780121229207.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Robert S. Boyer, J. Strother Moore<br>ISBN: 9780121229207<br> Kirjastus: Academic Press Inc<br> Formaat: Kõva köide, Ilmumisaeg: 28-Nov-1997<br> Hind: 85,60 € https://www.kriso.ee/db/9780121229207.html Fri, 28 Nov 1997 00:00:00 GMT https://www.kriso.ee/mathematical-theory-programme-correctness-db-9780135621325.html <a href="https://www.kriso.ee/mathematical-theory-programme-correctness-db-9780135621325.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>J. W. de Bakker<br>ISBN: 9780135621325<br> Kirjastus: Prentice Hall<br> Formaat: Kõva köide, Ilmumisaeg: 01-Jan-1980<br> Hind: 111,25 € https://www.kriso.ee/db/9780135621325.html Tue, 01 Jan 1980 00:00:00 GMT