Abstract compositional analysis of iterated relations : :: SCD d'Orléans

Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems

Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems

Shranjeno v:

Bibliografske podrobnosti
Glavni avtor:	Geurts, Frederic, 1965-
Format:	Livre numérique
Jezik:	Anglais
Izdano:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serija:	Lecture notes in computer science 1426
Teme:	Génie logiciel Informatique Systèmes, Analyse de Types abstraits de données (informatique) Informatique > Techniques structurées
Online dostop:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Sporočilo:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Abstract compositional analysis of iterated relations, a structural approach to complex state transition systems, Frédéric Geurts, 1998, Berlin, Springer, 1 vol. (XIV-280 p.), Lecture notes in computer science, 3-540-65506-9 • Abstract Compositional Analysis of Iterated Relations, Texte imprimé, 9783662183526

Podobne knjige/članki

A systematic catalogue of reusable abstract data types
od: Uhl, Jürgen, et autres

Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers

Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 30, 1992 : selected papers

Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers

Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17 20, 1990 : proceedings

Paragon : a language using type hierarchies for the specification, implementation, and selection of abstract data types
od: Sherman, Mark Steven, 19..-

Recent trends in algebraic development techniques : 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers
od: Parisi-Presicce, Francesco

Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, France, September 15-18, 1999 : selected papers

Recent trends in algebraic development techniques : 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers

Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers

Recent trends in algebraic development techniques : 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers

Algebraic methodology and software technology : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings

Algebraic methodology and software technology : 6th international conference, AMAST ±97, Sydney, Australia, December 13-17, 1997 : proceedings

Algebraic methodology and software technology : 7th International Conference, AMAST 98, Amazonia, Brazil, January 4 8, 1999 : proceedings

Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1 5, 1996 : proceedings

Structure et interprétation des programmes informatiques
od: Abelson, Harold, 1947-, et autres
Izdano: (1989)

Algebraic methodology and software technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings

Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings

Recent trends in data type specification : 5th Workshop on specification of abstract data types, Gullane, Scotland, September 1-4, 1987 : selected papers

Live data structures in logic programs : derivation by means of abstract interpretation
od: Mulkers, Anne, 19..-

Specification and compositional verification of real-time systems
od: Hooman, Jozef, 19..-

Spécification algébrique à l'aide de types abstraits du système EXPRIM (EXpert Pour la Recherche d'IMages)
od: Boukakiou, Mekki
Izdano: (1984)

A methodology for uncertainty in knowledge-based systems
od: Weichselberger, Kurt, et autres

Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24 26, 1989 : proceedings
od: Bläsius, Karl Hans, 1952-

Research issues in structured and semistructured database programming : 7th International Workshop on Database Programming Languages, DBPL'99, Kinloch, Rannoch, UK, September 1-3, 1999 : revised papers

Euro-Par'96 parallel processing : Second International Euro-Par Conference Lyon, France, August 26 29, 1996 : proceedings, volume II

Euro-Par'96 parallel processing : Second International Euro-Par Conference Lyon, France, August 26 29 1996 : proceedings, volume I

Euro-Par 2001 parallel processing : 7th International Euro-Par Conference Manchester, UK, August 28 31, 2001 : proceedings

Foundations of software technology and theoretical computer science : ninth conference, Bangalore, India December 19 21, 1989 : proceedings : FST and TCS 9

Abstract software specifications : 1979 Copenhagen Winter School, January 22 February 2, 1979 : proceedings

High Performance Computing : 4th International Symposium, ISHPC 2002 Kansai Science City, Japan, May 15 17, 2002 Proceedings

The Munich Project CIP. the program transformation system CIP-S
od: Bauer, Friedrich Ludwig, 1924-2015, et autres

The nested universal relation database model
od: Levene, Mark, 1957-

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

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

Graph transformations : second international conference, ICGT 2004, Rome, Italy, September 28-October 2, 2004 : proceedings
od: Ehrig, Hartmut, 1944-

Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem
od: Godefroid, Patrice, 19..-

Programs as data objects : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings

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

Performance engineering : state of the art and current trends
od: Dumke, Reiner

© 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