語系
Sitnikovski, Boro.
概要
| 作品: | 2 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Introduction to dependent types with Idris = encoding program proofs in types /
by:
Sitnikovski, Boro.; SpringerLink (Online service)
(書目-電子資源)
Introducing blockchain with Lisp = implement and extend blockchains with the Racket language /
by:
Sitnikovski, Boro.; SpringerLink (Online service)
(書目-電子資源)
Introducing software verification with Dafny language = proving program correctness /
by:
Sitnikovski, Boro.; SpringerLink (Online service)
(書目-電子資源)
主題
Computer Science, general.
Software Engineering.
Programming Language.
Professional Computing.
Programming Languages, Compilers, Interpreters.
Computer software- Verification.
Idris (Computer program language)
Racket (Computer program language)
Microsoft.
Functional programming (Computer science)
Blockchains (Databases)
Computer Science.