QR kód

Tools and algorithms for the construction and analysis of systems : Proceedings, Warsaw, Poland, April 7 - 11, 2003 /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Lee, Peter
Korporativní autor:	Proceedings Poland, Warsaw
Další autoři:	Garavel, H. (Editor), Hatcliff, J.
Médium:	Konferenční příspěvek Kniha
Jazyk:	angličtina
Vydáno:	Berlin : Springer, 2003
Vydání:	[1st ed.]
Edice:	Lecture notes in computer science Vol. 2619
Témata:	ohraničený model > časová logika > overovanie > abstrakcia
ISBN:	3540008985
ISSN:	0302-9743
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Formal techniques for verification of complex real-time systems /
Autor: Geilen, Marc Constantijn Willem
Vydáno: (2002)

Gruppy s ograničenijami dlja podgrupp.
Vydáno: (1971)

Verfahren zur Behandlung zeitlicher Beziehungen in Echtzeitexpertensystemen und zur Integration wissensbasierter Komponenten in Automatisierungssysteme /
Autor: Beck, Thomas
Vydáno: (1992)

Programming languages and systems : Proceedings, Warsaw, Poland, April 7 - 11, 2003 /
Autor: Leroy, Xavier
Vydáno: (2003)

The two fundamental problems of the theory of knowledge /
Autor: Popper, Karl Raimund 1902-1994, Sir
Vydáno: (2009)

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

Analytická činnosť v rezorte MV SR /
Autor: Kulíšek, Miroslav
Vydáno: (1997)

Tools and algorithms for the construction and analysis of systems : Proceedings, Passau, Germany, March 27 - 29, 1996 /
Autor: Margaria, Tiziana
Vydáno: (1996)

TAPSOFT '93. Theory and practice of software development : Proceedings, Orsay, France, April 13 - 17, 1993 /
Autor: Guttag, John V.
Vydáno: (1993)

Programovací jazyky /
Autor: Müller, Karel
Vydáno: (2002)

Parallel algorithms for VLSI computer aided design /
Autor: Banerjee, Prithviraj
Vydáno: (1994)

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

TAU 97. 1997 ACM/IEEE international workshop on timing issues in the specification and synthesis of digital systems : Austin, Texas, Dec. 4 - 5, 1997 /
Autor: Malik, Sharad
Vydáno: (1997)

Higher order logic theorem proving and its applications : Proceedings of the IFIP TC10/WG10.2 internat. workshop, Leuven, Belgium, 21 - 24 Sept., 1992 /
Autor: Melham, Thomas F.
Vydáno: (1993)

Applied system identification /
Autor: Juang, Jer-Nan
Vydáno: (1994)

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

Fundamentals of semiconductors. Physics and materials properties /
Autor: Yu, Peter Y.
Vydáno: (1996)

Compiler construction : Proceedings, Warsaw, Poland, April 7 - 11, 2003 /
Autor: Johnson, Neil
Vydáno: (2003)

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)

Integrated information systems design. An approach based on object-oriented concepts and Petri nets /
Autor: Verkoulen, Peter Antonius Christiaan
Vydáno: (1993)

Algebrogeometričeskije kody : osnovnyje ponjatija /
Autor: Vleduc, Sergej Georigjevič, a další
Vydáno: (2003)

Foundations of software science and computation structures : Proceedings, Warsaw, Poland, April 7 - 11, 2003 /
Autor: Abramsky, Samson
Vydáno: (2003)

Materiály ke cvičení z ekonometrie. Systém RATS /
Autor: Lauber, Josef
Vydáno: (1992)

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)

A resolution method for some systems of modal logic /
Autor: Sommerhalder, Rudolf
Vydáno: (1992)

Coherence in computer graphics /
Autor: Gröller, Eduard
Vydáno: (1993)

Parallel systems and algorithms /
Autor: Tvrdík, Pavel 1956-
Vydáno: (1999)

Stochastic phenomena and chaotic behaviour in complex systems : Proceedings of the 4th meeting of the UNESCO working group on systems analysis, Flattnitz, Kärnten, Austria, June 6 - 10, 1983 /
Autor: Schuster, Peter
Vydáno: (1984)

Parallel systems and algorithms /
Autor: Tvrdík, Pavel 1956-
Vydáno: (1997)

Štatistika pre 3. ročník obchodných akadémií /
Autor: Zelenák, Jozef
Vydáno: (1995)

Geodesy. The concepts /
Autor: Vaníček, Petr
Vydáno: (1986)

Efektivnost leasingového financování /
Autor: Termer, Tomáš
Vydáno: (1992)

Zeitnormative : ihre Ausarbeitung und Anwendung /
Autor: Franke, Erich, a další
Vydáno: (1965)

Meteorology and wind energy department. Annual progress report. 1 January - 31 December 1991 /
Autor: Petersen, E. L.
Vydáno: (1992)

Advanced information systems engineering : Proceedings, Paris, France, June 8 - 11, 1993 /
Autor: Cauvet, Corine
Vydáno: (1993)

Adaptive fuzzy systems and control. Design and stability analysis /
Autor: Wang, li-Xin
Vydáno: (1994)

The engineering of knowledge-based systems. Theory and practice /
Autor: Gonzales, Avelino J.
Vydáno: (1993)

Uncertainty 2008 : proceedings of international seminar /
Autor: Mesiar, Radko, a další
Vydáno: (2008)

Procedures in adaptive finite element analysis /
Autor: Möller, Peter W.
Vydáno: (1994)