Publicações

Which Mathematics for the Information Society?

AuthID
P-007-RTN

Author(s)

Ferreira, JF

Mendes, A

Backhouse, R

Barbosa, LS

Editor(s)

Gibbons, J; Oliveira, JN

Document Type

Proceedings Paper

Year published

2009

Published

in TEACHING FORMAL METHODS, PROCEEDINGS in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 5846, Pages: 39-+ (3)

Conference

2Nd International Conference on Teaching Formal Methods, Date: NOV 02-06, 2009, Location: Eindhoven, NETHERLANDS, Sponsors: Formal Methods Europe Assoc, Software Improvement Grp

Indexing

Wos^®

Scopus^®

Dblp^®/pt/publications/view/254805

Crossref^®5

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-642-04912-5_4

Dblp: conf/tfm/FerreiraMBB09

Scopus: 2-s2.0-71549167619

Wos: WOS:000278101900003

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

At this moment we don't have any links to full text documens.

Which Mathematics for the Information Society?

Useful Links

Get Help

Autenticação Federada (Click on the image)

Which Mathematics for the Information Society?

Useful Links

Get Help