Você está em: Start > Publications > View > Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Map of Premises
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Title
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Type
International Conference Proceedings Book
Year
2012
Conference International
13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012
Cambridge, 17 September 2012 through 20 September 2012
Other information
Language:
English
Type (Professor's evaluation):
Scientific
ISBN:
9783642333132
Electronic ISBN:
978-3-642-33314-9
Collection:
Lecture Notes in Computer Science
Vol.:
7560 LNCS
Documents
We could not find any documents associated to the publication.
Publications included
Article in International Conference Proceedings Book
Nelma Moreira (Author) (FCUP); David Pereira (Author) (Other); Melo De Sousa, S (Author) (Other)
2012
Relations as Executable Specifications: Taming Partiality and Non-determinism Using InvariantsImported from Authenticus
Article in International Conference Proceedings Book
Macedo, N (Author) (Other); Pacheco, H (Author) (Other); Cunha, A (Author) (Other)
2012
Copyright 1996-2025 © Faculdade de Medicina Dentária da Universidade do Porto
I Terms and Conditions
I Acessibility
I Index A-Z
Page created on: 2025-07-16 at 20:26:21 | Privacy Policy | Personal Data Protection Policy | Whistleblowing | Electronic Yellow Book
Page created on: 2025-07-16 at 20:26:21 | Privacy Policy | Personal Data Protection Policy | Whistleblowing | Electronic Yellow Book