QR Code

A FORMALISM FOR CONCURENT PROCESSES /

Saved in:

Bibliographic Details
Main Author:	Kaldewaij, Anne
Format:	Book
Language:	English
Published:	Eindhoven : Technische Hogeschool, 1986
Online Access:
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Formal aspects of cognitive processes : interdisciplinary conference Ann Arbor, March 1972 /
by: Storer, Thomas
Published: (1975)

Stochastic processes. Formalism and applications : Proceedings of the Winter school, Univ. of Hyderabad, India, Dec. 15 - 24, 1982 /
by: Vasudevan, R.
Published: (1983)

Formale Sprachen /
by: Salomaa, Arto K.
Published: (1978)

Theory of formal systems /
by: Smullyan, Raymond M.
Published: (1961)

Introduction to Formal Philosophy
Published: (2018)

Formalization of natural languages /
by: Kümmel, Peter
Published: (1979)

Thermodynamic formalism : the mathematical structures of classical equilibrium, statistical mechanics /
by: Ruelle, David
Published: (1978)

AN INTRODUCTION TO FORMAL LANGUAGE THEORY /
by: Moll, Robert N.
Published: (1988)

Connecting informal and formal mathematics /
by: Elbers, Hugo Johannes
Published: (1998)

Formal foundations of correct programming /
by: Novitzká, Valerie
Published: (1999)

Formal semantics of programming languages /
Published: (1972)

Automata theory and formal languages /
Published: (1975)

A formal approach to hardware design /
by: Staunstrup, Jorgen
Published: (1994)

Towards a formal description of ADA /
by: Bundgaard, Jorgen
Published: (1980)

Swarm Robotics: A Formal Approach
by: Hamann, Heiko
Published: (2018)

Formal System Verification State-of the-Art and Future Trends /
Published: (2018)

Formal techniques in artificial intelligence : A sourcebook /
by: Avenhaus, J.
Published: (1990)

17th international conference on VLSI design concurently with the 3rd international conference on embedded systems design : Proceedings, Mumbai, India, 5 - 9 Jan. 2004 /
by: Saha, Samar
Published: (2004)

Algebraic Formalization of Smart Systems Theory and Practice /
by: Serdyukova, Natalia
Published: (2018)

Formal specification and analysis of industrial systems /
by: Bos, Victor
Published: (2002)

Simple program schemes and formal languages /
by: Engelfriet, Joost
Published: (1974)

Formal Approach to the Metaphysics of Perspectives Points of View as Access /
by: Colomina-Almiñana, Juan J.
Published: (2018)

Katalogkunde. Formalkataloge und formale Ordnungsmethoden /
by: Haller, Klaus
Published: (1980)

Elementary computability, formal languages, and automata /
by: MacNaughton, Robert
Published: (1982)

Mural. A formal development support system /
by: Jones, Clifford Bryn
Published: (1991)

Formal Methods for Safety and Security Case Studies for Aerospace Applications /
Published: (2018)

Mathematical logic and formalized theories : a survey of basic concepts and results /
by: Rogers, Robert
Published: (1974)

Formalization of programming concepts : international colloquium, proceedings, Penisola, Spain, April 19-25, 1981 /
by: Backus, John
Published: (1981)

Formal language theory. Perspectives and open problems /
by: Ginsburg, Seymour
Published: (1980)

Recognising non-formal and informal learning : outcomes, policies and practices /
by: Werquin, Patrick
Published: (2010)

Über eine deterministische theorie formaler sprachen /
by: Henke, F. W. v.
Published: (1972)

Formal specification of programming languages. A panoramic primer /
by: Pagan, Frank G.
Published: (1981)

Formale modello für Informationssysteme : GI - Fachtagung, 24. - 26. Mai 1979, Tutzing /
by: Bauknecht, K.
Published: (1979)

Software engineering and formal methods : SEFM 2003, Brisbane, Australia, Sept. 22 to 27, 2003 /
by: Dromey, R. G.
Published: (2003)

FORMAL ASPECTS VLSI DESIGN : Proceedings of the 1985 Edinburgh workshop on VLSI, Edinburgh, Scotland, U. K., /
by: Milne, George J.
Published: (1986)

Formal description of programming concepts Proceedings of the IFFP working conference on Formal description of programming concepts : St. Andrews, N. B., Canada Aug. 1-5, 1977 /
by: Paul, Manfred
Published: (1978)

Validation of non-formal and informal learning in Europe : a snapshot 2007 /
by: Nychas, Christine
Published: (2008)

Formal models in programming : Proceedings of the IFIP TC2 working conf. on the role of abstracts models in information pocessing, Vienna, Austria, 30 Jan. - 1 Febr., 1985 /
by: Neuhold, Erich J.
Published: (1985)

Formal techniques for verification of complex real-time systems /
by: Geilen, Marc Constantijn Willem
Published: (2002)

On formal semantics of object systems with data and object attributes /
by: Parnitzke, Daniel
Published: (2001)