QR kód

Formal description techniques. Vol. V : Internat. conf. for distributed systems and communications protocols - FORTE '92, Perros-Guirec, France, 13 - 16 Oct. 1992 /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Doldi, L.
Korporativní autor:	Internat. conf. for distributed systems and communications protocols - FORTE '92 France, Perros-Guirec
Další autoři:	Diaz, M. (Editor), Groz, R.
Médium:	Konferenční příspěvek Kniha
Jazyk:	angličtina
Vydáno:	Amsterdam : North-Holland Publishing, 1993
Vydání:	[1st ed.]
Edice:	IFIP transactions C : Communication systems C-10
Témata:	počítačová sieť > protokol > elektronické spracúvanie údajov > LOTOS > Alcatel > overovanie > formálny jazyk
ISBN:	0444892826
ISSN:	0926-549X
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Discrete mathematics. A unified approach /
Autor: Wiitala, Stephen A.
Vydáno: (1987)

Theory of formal systems /
Autor: Smullyan, Raymond M.
Vydáno: (1961)

Concise encyclopedia of information processing in systems and organizations /
Autor: Sage, Andrew P.
Vydáno: (1990)

Regional computer cooperation in developing countries : Proceedings of the IFIP internat. workshop, Stockholm, Sweden, 14 - 16 Sept. 1983 /
Autor: Kalman, Robert E.
Vydáno: (1984)

The Mathematica handbook /
Autor: Abell, Martha L.
Vydáno: (1992)

Computer graphics and geometric modeling for engineers /
Autor: Anand, Vera B.
Vydáno: (1993)

Differential equations with Maple V /
Autor: Abell, Martha L.
Vydáno: (1994)

WINRE '92 : 3rd Workshop on inf. management in nuclear safety, radiation protection, and environmental protection, Cologne, F. R. G., Oct. 14 - 15, 1992 /
Autor: Detemple, W.
Vydáno: (1993)

Computers /
Autor: Long, Larry E.
Vydáno: (1993)

Program correctness over abstract data types, with error-state semantics /
Autor: Tucker, John V.
Vydáno: (1988)

Computing 85. A broad perspective of current developments : Proceedings of the 8th internat. computing symp., Florence, Italy, 27 - 29 March, 1985 /
Autor: Andreasson, Sven-Arne
Vydáno: (1985)

Protocol test systems. Vol. V : 5th working conf., Montreal, Quebec, Canada, 28 - 30 Sept., 1992 /
Autor: Koblentz, Michael E.
Vydáno: (1993)

Distributed data sharing systems : Proceedings of the 3rd internat. seminar, Parma, Italy, 28 - 30 March, 1984 /
Autor: Breitbart, Y. J.
Vydáno: (1985)

Experimentálne overovanie konštrukcií /
Autor: Kereškényi, Ján
Vydáno: (1988)

Spreadsheet chemistry /
Autor: Parker, O. Jerry
Vydáno: (1991)

Artificial neural networks and their application possibilities : Proceedings of the internat. conf., Slovakia, Nov. 18 - 19, 1996 /
Autor: Novák, Mirko
Vydáno: (1996)

Continuous authentication using biometrics : data, models, and metrics /
Vydáno: (2012)

Jazyky a překlady /
Autor: Melichar, Bořivoj 1942-
Vydáno: (1996)

Logika /
Autor: Bek, Roman
Vydáno: (2000)

Experimentální ověřování ve výstavbě /
Autor: Procházka, Josef
Vydáno: (1988)

Experimentálne overovanie konštrukcií /
Autor: Kereškényi, Ján
Vydáno: (1984)

The font problem solver. How to install and use type with your software and printer /
Autor: Busch, David D. 1947-
Vydáno: (1992)

Bioštatistika pre študentov verejného zdravotníctva /
Autor: Rusnák, Martin, a další
Vydáno: (2010)

Defence electronics. Standards and quality assurance /
Autor: Tricker, Ray
Vydáno: (1991)

Concurrent systems. An integrated approach to operating systems, database, and distributed systems /
Autor: Bacon, Jean
Vydáno: (1993)

Spaceborne radar remote sensing. Applications and techniques /
Autor: Elachi, Charles
Vydáno: (1988)

Jazyky a překlady. Cvičení /
Autor: Melichar, Bořivoj 1942-
Vydáno: (2004)

Computer science and statistics : Proceedings of the 16th symp. on the interface, Atlanta, Georgia, March 1984 /
Autor: Billard, Lynne
Vydáno: (1985)

Introduction to Maple /
Autor: Heck, André
Vydáno: (1996)

Using Harvard graphics for business presentations /
Autor: Barker, Donald
Vydáno: (1990)

Knowledge oriented software design : Extended papers from the IFIP TC12 workshop on AIFIPP '92, Madrid, Spain, 14 - 15 Sept., 1992 /
Autor: Chandrasekaran, B.
Vydáno: (1993)

Správní právo. Příručka pro ověřování zvláštní odborné způsobilosti pracovníků okresních a obecních úřadů /
Autor: Šlauf, Václav
Vydáno: (1992)

Formal techniques for networked and distributed systems. FORTE 2003 : Proceedings, Germany, Sept. 29 - Oct. 2, 2003 /
Autor: Rychwalski, Pawel
Vydáno: (2003)

Towards a formal description of ADA /
Autor: Bundgaard, Jorgen
Vydáno: (1980)

A formal approach to hardware design /
Autor: Staunstrup, Jorgen
Vydáno: (1994)

Discrete mathematics and its applications /
Autor: Rosen, Kenneth H.
Vydáno: (1988)

CORBA distributed objects. Using Orbix /
Autor: Baker, Seán
Vydáno: (1997)

Information technology for command and control. Methods and tools for systems development and evaluation /
Autor: Andriole, Stephen J.
Vydáno: (1991)

Diskrétní matematika /
Autor: Mezník, Ivan 1942-
Vydáno: (2004)

Computer networks, architecture and applications : NETWORKS '92, Trivandrum, India, 28 - 29 Oct., 1992 /
Autor: Crowcroft, Jon
Vydáno: (1993)