Relational methods in computer science : 6th international conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI, Oisterwijk, the Netherlands, October 16-21, 2001 : revised papers
Enregistré dans:
| Collectivité auteur: | International Seminar on Relational Methods in Computer Science :Oisterwijk |
|---|---|
| Autres auteurs: | Swart, Henricus Cornelius Maria de, 1944- (Directeur de la publication) |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science
2561 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Actes d'un séminaire tenu à Oisterwijk du 16 au 21 octobre 2001, d'après l écran-titre Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Relational methods in computer science, 6th international conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI, Oisterwijk, the Netherlands, October 16-21, 2001, revised papers, Harrie C.M. de Swart (ed.), Berlin, Springer, 2002, 1 vol. (X-313 p.), Lecture notes in computer science, 3-540-00315-0 • Relational Methods in Computer Science, Texte imprimé, 9783662205464 |
Documents similaires
- Theory and applications of relational structures as knowledge instruments : COST Action 274, TARSKI : revised papers (Livre numérique)
- Relational and Kleene-algebraic methods in computer science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers (Livre numérique)
- Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings (Livre numérique)
- Theoretical aspects of computer software : ; proceedings 4th international symposium, TACS 2001, Sendai, Japan, October 29-31, 2001 (Livre numérique)
- Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings (Livre numérique)

