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
Login for hold and recall information
Internet
CVTI sklad absenčný
Holdings details from CVTI sklad absenčný
Call Number:
A572201
A572202
A572203
Copy
On Shelf
Copy
On Shelf
Copy
On Shelf
CVTI všeobecná študovňa
Holdings details from CVTI všeobecná študovňa
Call Number:
A572392
Copy
On Shelf
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)