Skip to content
VuFind
Institutional Login
Language
English
Deutsch
Čeština
Slovak
Testovacia prevádzka
Search in PRIMO
Catalog
E knihy CVTI SR
Summon (testovací prístup)
EBSCO Discovery Service (testovací prístup)
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Formal foundations of correct...
Cite this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Export to MARC
Export to RDF
Save to List
Permanent link
Loading…
Formal foundations of correct programming /
Saved in:
Bibliographic Details
Main Author:
Novitzká, Valerie
Format:
Book
Language:
English
Published:
Košice :
Elfa,
1999
Edition:
[1st ed.]
Subjects:
algebraická štruktúra
>
teória kategórií
>
abstraktný logický systém
>
sémantický vzťah
>
softvér
ISBN:
8088964229
Online Access:
Tags:
Add Tag
No Tags, Be the first to tag this record!
Holdings
Description
Comments
Similar Items
Staff View
Be the first to leave a comment!
Your Comment
You must be logged in first
Similar Items
Theorie der Kategorien /
by: Hasse, M., et al.
Published: (1966)
Algebraic and logic programming : Proceedings, Aachen, Germany, Sept. 25 - 27, 1996 /
by: Pierro, Alessandra Di
Published: (1996)
Conceptual mathematics : a first introduction to categories /
by: Lawvere, F. William, et al.
Published: (2009)
Algebraic theory of automata /
by: Gécseg, F., et al.
Published: (1972)
Algebraická teória automatov. 2. diel : Cvičenia /
by: Donoval, Dušan
Published: (1989)