Sitnikovski, Boro.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Introducing blockchain with Lispimplement and extend blockchains with the Racket language /
by:
Sitnikovski, Boro.; SpringerLink (Online service)
(書目-電子資源)
Introduction to dependent types with Idrisencoding program proofs in types /
by:
Sitnikovski, Boro.; SpringerLink (Online service)
(書目-電子資源)
Introducing software verification with Dafny languageproving program correctness /
by:
Sitnikovski, Boro.; SpringerLink (Online service)
(書目-電子資源)
主題
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.