QR-Code

The temporal logic of reactive and concurrent systems. Specification /

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Manna, Zohar
Weitere Verfasser:	Pnueli, Amir
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	New York : Springer, 1992
Ausgabe:	[1st ed.]
Schlagworte:	elektronický číslicový počítač > programovanie
ISBN:	0387976647
Online-Zugang:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Verifying concurrent processes using temporal logic /
von: Hailpern, Brent T.
Veröffentlicht: (1982)

Introduction to computer science. An algorithmic approach. Pascal edition /
von: Tremblay, Jean-Paul
Veröffentlicht: (1989)

Digital computer programming /
von: McCracken, Daniel D.
Veröffentlicht: (1963)

Programovanie pre číslicové počítače /
von: Gvozdjak, Ladislav
Veröffentlicht: (1974)

Programmieren von Ziffernrechenanlagen /
von: Knödel, Walter
Veröffentlicht: (1961)

Reliable computer systems. Design and evaluation /
von: Siewiorek, Daniel P.
Veröffentlicht: (1992)

COMBINING LINEAR TIME TEMPORAL LOGIC DESCRIPTIONS OF CONCURRENT COMPUTATIONS /
von: Kuiper, Ruurd
Veröffentlicht: (1989)

Temporal logic of programs /
von: Kröger, Fred
Veröffentlicht: (1987)

Elektronische Ziffernrechner : Einführung in Aufbau, Arbeitsweise und Verwendung /
von: Murphy, John S.
Veröffentlicht: (1965)

Computational logic : symposium proceedings, Brussels, Belgium, November 13/14, 1990 /
Veröffentlicht: (1990)

Číslicové počítače /
von: Blatný, Jan
Veröffentlicht: (1982)

Číslicové počítače /
von: Jelšina, Milan, 1934-2006
Veröffentlicht: (1986)

Číslicové počítače.
von: Rukovanský, Imrich
Veröffentlicht: (1986)

Samočinné číslicové počítače a jejich použití /
von: Sedlák, Jan 1911-, et al.
Veröffentlicht: (1966)

Cifrovyje vyčisliteľnyje mašiny : elementy i uzly /
von: Šigin, Anatolij Georgijevič
Veröffentlicht: (1971)

Technika počítačov. I. diel. Pre 3. ročník SPŠE študijného odboru 26-60-6 elektronické a oznamovacie zaradenia, alternatívny blok elektronické počítačové systémy /
von: Kolenička, Ján
Veröffentlicht: (1995)

Studies in automatic programming logic /
von: Manna, Zohar
Veröffentlicht: (1977)

Počítače a programovanie /
von: Gvozdjak, Ladislav
Veröffentlicht: (1987)

Termomechanika : Příklady řešení na číslicovém počítači /
von: Hloušek, Jiří
Veröffentlicht: (1986)

Technické prostředky informačních systémů /
von: Jandoš, Jaroslav
Veröffentlicht: (1994)

Číslicové elektronické systémy /
von: Pinker, Jiří 1942-
Veröffentlicht: (1988)

Simulácia spojitých systémov na číslicových počítačoch /
von: Šujanský, Milan
Veröffentlicht: (1989)

Automatizační prostředky. číslicové a analogové počítače : výběrová bibliografie /
Veröffentlicht: (1968)

Číslicové počítače pre odbor Technická kybernetika /
von: Šimová, Ľubica
Veröffentlicht: (1985)

Paměti číslicových počítačů /
von: Chlouba, Václav, et al.
Veröffentlicht: (1967)

Architektúry počítačových systémov. Kompendium /
von: Jelšina, Milan, 1934-2006
Veröffentlicht: (2000)

Číslicové počítače : logika počítačového systému /
von: Blatný, Jan
Veröffentlicht: (1972)

Číslicové počítače.
von: Blatný, Jan
Veröffentlicht: (1972)

Modelování chemických zařízení na číslicových počítačích /
von: Marek, Jan 1926-
Veröffentlicht: (1967)

Modelovanie dynamických spojitých systémov na číslicovom počítači /
von: Neuschl, Štefan
Veröffentlicht: (1969)

The SR programming language. Concurrency in practice /
von: Andrews, Gregory R.
Veröffentlicht: (1993)

Concurrent programming : principles and practice /
von: Andrews, Gregory R.
Veröffentlicht: (1991)

Specifying message passing and time-critical systems with temporal logic /
von: Koymans, Ronald Leo Christiaan
Veröffentlicht: (1989)

Modern logic design /
von: Green, David
Veröffentlicht: (1986)

NC stroje v 8. pětiletce : Sborník přednášek /
von: Hlavas, Jiří
Veröffentlicht: (1985)

Uživatelská příručka pro NS 905C. 1. díl /
von: Ptáček, Václav
Veröffentlicht: (1989)

IEEE concurrency : parallel, distributed and mobile computing

Ustrojstva vvoda i vyvoda informacii universaľnych elektronnych cifrovych vyčisliteľnych mašin /
von: Saveta, Nikolaj Nikolajevič
Veröffentlicht: (1971)

Dependability of critical computer systems. Vol. 3. Techniques directory /
von: Bishop, P. G.
Veröffentlicht: (1990)

Interaktívny výpočtový systém metódy konečných prvkov : zborník /
Veröffentlicht: (1990)