Treffer 1 – 5 von 5 für Suche 'Sitnikovski, Boro', Suchdauer: 0,04s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Introducing Software Verification with Dafny Language Proving Program Correctness

    Introducing Software Verification with Dafny Language Proving Program Correctness von Sitnikovski, Boro

    Veröffentlicht 2022
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Introduction to Dependent Types with Idris Encoding Program Proofs in Types

    Introduction to Dependent Types with Idris Encoding Program Proofs in Types von Sitnikovski, Boro

    Veröffentlicht 2023
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Introducing Blockchain with Lisp Implement and Extend Blockchains with the Racket Language

    Introducing Blockchain with Lisp Implement and Extend Blockchains with the Racket Language von Sitnikovski, Boro

    Veröffentlicht 2021
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  4. 4
    Introducing software verification with Dafny language proving program correctness

    Introducing software verification with Dafny language proving program correctness von Sitnikovski, Boro

    Veröffentlicht 2022
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Introducing Blockchain with Lisp implement and extend blockchains with the racket language

    Introducing Blockchain with Lisp implement and extend blockchains with the racket language von Sitnikovski, Boro

    Veröffentlicht 2021
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: