Sitnikovski, Boro.
Overview
Works: | 1 works in 3 publications in 1 languages |
---|
Titles
Introducing blockchain with Lispimplement and extend blockchains with the Racket language /
by:
Sitnikovski, Boro.; SpringerLink (Online service)
(Electronic resources)
Introduction to dependent types with Idrisencoding program proofs in types /
by:
Sitnikovski, Boro.; SpringerLink (Online service)
(Electronic resources)
Introducing software verification with Dafny languageproving program correctness /
by:
Sitnikovski, Boro.; SpringerLink (Online service)
(Electronic resources)
Subjects
Computer Science, general.
Software Engineering.
Programming Language.
Professional Computing.
Computer software
Programming Languages, Compilers, Interpreters.
Idris (Computer program language)
Racket (Computer program language)
Microsoft.
Functional programming (Computer science)
Blockchains (Databases)
Computer Science.