QR kód

A programming logic with an introduction to the PL/CV verifier /

Uložené v:

Podrobná bibliografia
Hlavný autor:	Constable, Robert L.
Ďalší autori:	O'donnell, Michael J., Johnson, Scott D.
Médium:	Kniha
Jazyk:	English
Vydavateľské údaje:	Cambridge : Winthrop Publ., 1978
On-line prístup:
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Podobné jednotky

Verifying concurrent processes using temporal logic /
Autor: Hailpern, Brent T.
Vydavateľské údaje: (1982)

Structured programming with Pl/I : an introduction /
Autor: Marcotty, Michael
Vydavateľské údaje: (1977)

Teco Inverter 7300CV
Vydavateľské údaje: (2011)

Primer on structured programming using PL/1, PL/C and PL/CT /
Autor: Conway, Richard, a ďalší
Vydavateľské údaje: (1976)

Introduction to structured programming using PL/1 and SP/k. /
Autor: Conway, Richard A., a ďalší
Vydavateľské údaje: (1977)

Oracle PL/SQL programming /
Autor: Feuerstein, Steven
Vydavateľské údaje: (1997)

Prolog versus you. An introduction to logic programming /
Autor: Johansson, Anna-Lena
Vydavateľské údaje: (1989)

Verified vapor-liquid equilibrium data.
Autor: Maczyňski, Andrzej
Vydavateľské údaje: (1988)

Verified vapor-liquid equilibrium data.
Autor: Maczyński, Andrzej, a ďalší
Vydavateľské údaje: (1981)

THE LOGIC OF PROGRAMMING /
Autor: Hehner, Eric C. R.
Vydavateľské údaje: (1984)

MICROPROCESSORS AND PROGRAMMED LOGIC /
Autor: Short, Kenneth L.
Vydavateľské údaje: (1987)

AN INTRODUCTION TO DEFAULT LOGIC /
Autor: Besnard, Philippe
Vydavateľské údaje: (1989)

PL/I programming in technological applications /
Autor: Groner, Gabriel F.
Vydavateľské údaje: (1971)

PL/I programming for engineering and science /
Autor: Stoutemyer, David R.
Vydavateľské údaje: (1971)

FROM LOGIC DESIGN TO LOGIC PROGRAMMING /
Autor: Snyers, Dominique
Vydavateľské údaje: (1987)

Analysis of ball CV-joints of fixed type /
Autor: Andersson, Peter
Vydavateľské údaje: (1992)

A mathematical introduction to logic /
Autor: Enderton, Herbert B., 1936-2010
Vydavateľské údaje: (2001)

MICRO-PROLOG. PROGRAMMING IN LOGIC /
Autor: Clark, Keith L.
Vydavateľské údaje: (1984)

ALGEBRAIC AND LOGIC PROGRAMMING /
Autor: Bergstra, J. A.
Vydavateľské údaje: (1988)

Temporal logic of programs /
Autor: Kröger, Fred
Vydavateľské údaje: (1987)

FOUNDATIONS OF LOGIC PROGRAMMING /
Autor: Lloyd, John Wylie
Vydavateľské údaje: (1984)

Eight statement pl/c pl/zero/ plus pl/one /
Autor: Kennedy, M., a ďalší
Vydavateľské údaje: (1972)

PL/1 for programmers /
Autor: Barnes, Robert Arthur
Vydavateľské údaje: (1980)

Introduction to logic circuit theory /
Autor: Aleksander, I.
Vydavateľské údaje: (1970)

Logic of programs : workshop, ETH Zürich, May-July 1979 /
Autor: Kozen, Dexter
Vydavateľské údaje: (1981)

PROBLEM SOLVING USING PL/1 AND PL/C /
Autor: Harrow, Keith
Vydavateľské údaje: (1984)

Deductive databases and logic programming /
Autor: Das, Subrata Kumar
Vydavateľské údaje: (1992)

Mathematical logic and programming languages /
Autor: Kowalski, R.
Vydavateľské údaje: (1985)

Studies in automatic programming logic /
Autor: Manna, Zohar
Vydavateľské údaje: (1977)

Programming of small logic controllers /
Autor: Fedor, Pavol 1932-
Vydavateľské údaje: (2001)

Introduction to mathematical logic : set theory. Computable functions. Model theory /
Autor: Malitz, Jerome
Vydavateľské údaje: (1979)

6800 programming for logic design /
Autor: Osborne, Adam
Vydavateľské údaje: (1977)

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

Introduction to switching theory and logical design /
Autor: Hill, Frederick J., a ďalší
Vydavateľské údaje: (1981)

PL/1 : popis jazyka /
Vydavateľské údaje: (1977)

PL/1 : úvod do programovania /
Vydavateľské údaje: (1975)

PL/I : práca v DOS /
Vydavateľské údaje: (1975)

PL/1 : práca v DOS /
Vydavateľské údaje: (1977)

PROGRAMMIEREN IN PL 1 /
Autor: Schoch, Henning
Vydavateľské údaje: (1987)

PL/I-PROGRAMMIERUNG /
Autor: Grund, F.
Vydavateľské údaje: (1986)