An introduction to the PL/CV2 programming logic :: SCD d'Orléans

An introduction to the PL/CV2 programming logic

An introduction to the PL/CV2 programming logic

Guardat en:

Dades bibliogràfiques
Autors principals:	Constable, Robert Lee, Eichenlaub, C. D., 19..- (Autor), Johnson, S. D., 19..- (Autor)
Format:	Livre numérique
Idioma:	Anglais
Publicat:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Col·lecció:	Lecture notes in computer science 135
Matèries:	Informatique Logiciels > Vérification Ordinateurs
Accés en línia:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• An introduction to the PL/CV2 programming logic, R.L. Constable, S.D. Johnson, C.D. Eichenlaub, Berlin, Springer-Verlag, 1982, 1 vol. (x, 292 p.), Lecture notes in computer science, 3-540-11492-0 • An Introduction to the PL/CV2 Programming Logic, Texte imprimé, 9783662198599

Ítems similars

Verifying concurrent processes using temporal logic
per: Hailpern, Brent T., 1955-

Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings

Logic Programming in Action : Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7 11, 1992 Proceedings

Principles of model checking
per: Baier, Christel, 19..-, et al.
Publicat: (2008)

Methods of programming : selected papers on the CIP-project
per: Broy, Manfred, 1949-

Programming language implementation and logic programming : [second] International Workshop PLILP '90, Linköping, Sweden, August 20 22, 1990 : proceedings

Programming language implementation and logic programming : 4th International Symposium, PLILP'92, Leuven, Belgium, August 26 28, 1992 : proceedings

Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26 28, 1991 : proceedings

Programming language implementation and logic programming : 5th International Symposium, PLILP '93 Tallinn, Estonia, August 25 27, 1993 : proceedings

The IOTA programming system : a modular programming environment

Distributed programming paradigms with cryptography applications
per: Greenfield, Jonathan S., 19..-

Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings

Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings

Logic for programming, artificial intelligence, and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings

Generic programming : advanced lectures
per: Backhouse, Roland Carl, 1948-

Advanced programming environments : proceedings of an International workshop, Trondheim, Norway, June 16 18, 1986

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction
per: Müller-Olm, Markus, 19..-

Algebraic specification techniques in object oriented programming environments
per: Breu, Ruth, 19..-

Extreme programming
per: Beck, Kent, 1961-
Publicat: (2002)

Advanced functional programming : second international school, Olympia, WA, USA, August 26-30, 1996 : tutorial text

Agent-oriented programming : from prolog to guarded definite clauses
per: Huntbach, Matthew M., 19..-, et al.

Compiler specification and verification
per: Polak, Wolfgang, 1950-

Generic programming : International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27-May 1, 1998 : selected papers

Une approche par composants pour l'analyse visuelle interactive de résultats issus de simulations numériques
per: Ait Wakrime, Abderrahim, 1986-
Publicat: (2015)

Advanced functional programming : first International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995 : tutorial text

Reasoning with logic programming
per: Alferes, José Júlio, 1966-, et al.

Generative programming and component engineering : Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003 : proceedings

Generative programming and component engineering : ACM SIGPLAN/SIGSOFT Conference, GPCE 2002 Pittsburgh, PA, USA, October 6 8, 2002 : proceedings

Programming languages and system architectures : international conference, Zürich, Switzerland, March 2-4, 1994 : proceedings
per: Gutknecht, Jürg, 1949-

Extreme Programming and Agile Methods : XP/Agile Universe 2004 : 4th Conference on Extreme Programming and Agile Methods, Calgary, Canada, August 15-18, 2004 : proceedings
per: Zannier, Carmen

ECOOP 2000 - object-oriented programming : 14th European Conference Sophia Antipolis and Cannes, France, June 12 16, 2000 : proceedings

Programming Languages and Systems : 8th European Symposium on Programming, ESOP 99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 99 Amsterdam, The Netherlands, March 22 28, 1999 Proceedings

Secure Internet programming : security issues for mobile and distributed objects
per: Vitek, Jan, 19..-...., informaticien

From logic design to logic programming : theorem proving techniques and P-functions
per: Snyers, Dominique, et al.

Advanced functional programming : Third International School, AFP 98, Braga, Portugal, September 12-19, 1998 : revised lectures

Foundations of inductive logic programming
per: Nienhuys-Cheng, Shan-Hwei, 1943-, et al.

Program development in computational logic : a decade of research advances in logic-based program development
per: Bruynooghe, Maurice

Programming multi-agent systems : First international workshop, ProMAS 2003, Melbourne, Australia, July 15, 2003 : selected revised and invited papers
per: Dastani, Mehdi

Advanced functional programming : 4th international school, AFP 2002, Oxford, UK, August 19-24, 2002 : revised lectures

Extensions of logic programming : second international workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991 : proceedings
per: Eriksson, Lars-Henrik, 19..-

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales