QR kód

Formal foundations of correct programming /

Uložené v:

Podrobná bibliografia
Hlavný autor:	Novitzká, Valerie
Médium:	Kniha
Jazyk:	English
Vydavateľské údaje:	Košice : Elfa, 1999
Vydanie:	[1st ed.]
Predmet:	algebraická štruktúra > teória kategórií > abstraktný logický systém > sémantický vzťah > softvér
ISBN:	8088964229
On-line prístup:
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Podobné jednotky

Theorie der Kategorien /
Autor: Hasse, M., a ďalší
Vydavateľské údaje: (1966)

Algebraic and logic programming : Proceedings, Aachen, Germany, Sept. 25 - 27, 1996 /
Autor: Pierro, Alessandra Di
Vydavateľské údaje: (1996)

Conceptual mathematics : a first introduction to categories /
Autor: Lawvere, F. William, a ďalší
Vydavateľské údaje: (2009)

Algebraic theory of automata /
Autor: Gécseg, F., a ďalší
Vydavateľské údaje: (1972)

Algebraická teória automatov. 2. diel : Cvičenia /
Autor: Donoval, Dušan
Vydavateľské údaje: (1989)

Algebraická teória automatov.
Autor: Príkopa, Juraj
Vydavateľské údaje: (1987)

Algebraická teória automatov. 2. diel /
Autor: Donoval, Dušan
Vydavateľské údaje: (1987)

Algebraic theory of machines, languages, and semigroups /
Vydavateľské údaje: (1968)

Applied semantic web technologies /
Vydavateľské údaje: (2012)

Course in combinatorics /
Autor: Lint, J. H. van
Vydavateľské údaje: (1994)

2nd workshop on intelligent and knowledge oriented technologies : WIKT 2007 proceedings, November 15 - 16, 2007 /
Autor: Babič, František, a ďalší
Vydavateľské údaje: (2008)

Matematika vo výučbe, výskume a praxi. 2002 : Zborník ved. prác z medzinár. ved. konf., 11. 6. 2002 /
Autor: Baraníková, Helena
Vydavateľské údaje: (2002)

Štúdie vybraných tém programových a informačných systémov.
Autor: Habudová, Nikoleta
Vydavateľské údaje: (2009)

Logické systémy : Laboratórne cvičenia /
Autor: Bača, Ján
Vydavateľské údaje: (1987)

Logické systémy /
Autor: Eysselt, Miloš
Vydavateľské údaje: (1985)

Algebraic topology /
Autor: Maunder, C. R. F.
Vydavateľské údaje: (1970)

Metóda konečných prvkov /
Autor: Slodička, Marián
Vydavateľské údaje: (2001)

Extensions of logic programming : Proceedings, Tübingen, FRG, Dec. 8 - 10, 1989 /
Autor: Andreoli, Jean-Marc
Vydavateľské údaje: (1991)

Foundations of neuro-fuzzy systems /
Autor: Nauck, Detlef
Vydavateľské údaje: (1997)

Proving programs correct /
Autor: Anderson, Robert Brockett, 1941-
Vydavateľské údaje: (1979)

MATLAB : a practical introduction to programming and problem solving
Autor: Attaway, Stormy
Vydavateľské údaje: (2011)

Linejnyje algebraičeskije gruppy /
Autor: Borel, Armand
Vydavateľské údaje: (1972)

Využití kvantitatívních vztahů mezi strukturou a biologickou aktivitou /
Autor: Kuchař, Miroslav 1935-
Vydavateľské údaje: (1987)

Approximate identification and control design with application to a mechanical system /
Autor: Schrama, Rudolphus Johannes Petrus
Vydavateľské údaje: (1992)

Digitale Systeme. Grundlagen /
Autor: Wunsch, Gerhard
Vydavateľské údaje: (1993)

Algebra a jej inžinierske aplikácie /
Autor: Palúch, Stanislav
Vydavateľské údaje: (2009)

Algebraická teorie automatů /
Autor: Demlová, Marie
Vydavateľské údaje: (1990)

Logické a číslicové systémy /
Autor: Chudý, Vladimír
Vydavateľské údaje: (1987)

C++ programming : from problem analysis to program design /
Autor: Malik, D. S.
Vydavateľské údaje: (2007)

Document engineering : DocEng 2010, proceedings of the 2010 ACM symposium, Manchester, United Kingdom, September 21 - 24, 2010 /
Autor: Sojka, Petr 1963-
Vydavateľské údaje: (2010)

Personalized web - science, technologies and engineering : proceedings ; 9th Spring 2011 PeWe Workshop, Viničné, April 1, 2011 /
Vydavateľské údaje: (2011)

WIKT 2008 : Proceedings in informatics and information technologies, 3rd workshop on intelligent and knowledge oriented technologies, proceedings, Smolenice, 6. - 7. november 2008 /
Autor: Tvarožek, Michal
Vydavateľské údaje: (2009)

Umelá inteligencia a kognitívna veda.
Autor: Kvasnička, Vladimír 1924-
Vydavateľské údaje: (2010)

Kybernetika. Cvičení /
Autor: Vorlíček, Jan
Vydavateľské údaje: (1990)

AUTOMATIC CORRECTION AND IMPROVEMENT OF PROGRAMS /
Autor: Wertz, H.
Vydavateľské údaje: (1987)

Mathematical theory of program correctness /
Autor: Bakker, Jaco de
Vydavateľské údaje: (1980)

Programovanie riadiacich systémov /
Autor: Ždánsky, Juraj, a ďalší
Vydavateľské údaje: (2011)

Foundations of microprogramming : architecture, software, and applications /
Autor: Agrawala, Ashok K., a ďalší
Vydavateľské údaje: (1976)

Introduction to the logical design of switching systems /
Autor: Torng, H. C.
Vydavateľské údaje: (1964)

Coding for data and computer communications /
Autor: Salomon, David
Vydavateľské údaje: (2005)