Foundations of software science and computational structures [electronic resource] : 10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedings/
57
Main Authors: | , , , |
---|---|
Format: | |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg,
2007
|
Subjects: | |
Online Access: | http://dx.doi.org/10.1007/978-3-540-71389-0 |
_version_ | 1826435002394476544 |
---|---|
author | FOSSACS 2007 (2007 : Braga, Portugal) Seidl, Helmut SpringerLink (Online service) ETAPS 2007 (2007 : Braga, Portugal) |
author_facet | FOSSACS 2007 (2007 : Braga, Portugal) Seidl, Helmut SpringerLink (Online service) ETAPS 2007 (2007 : Braga, Portugal) |
author_sort | FOSSACS 2007 (2007 : Braga, Portugal) |
collection | OCEAN |
description | 57 |
first_indexed | 2024-03-05T08:09:06Z |
format | |
id | KOHA-OAI-TEST:393088 |
institution | Universiti Teknologi Malaysia - OCEAN |
language | eng |
last_indexed | 2024-03-05T08:09:06Z |
publishDate | 2007 |
publisher | Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, |
record_format | dspace |
spelling | KOHA-OAI-TEST:3930882020-12-19T17:13:43ZFoundations of software science and computational structures [electronic resource] : 10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedings/ FOSSACS 2007 (2007 : Braga, Portugal) Seidl, Helmut SpringerLink (Online service) ETAPS 2007 (2007 : Braga, Portugal) e-books Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg,2007.eng575859PSZJBLComputer softwareLogic, Symbolic and mathematicalSystem analysishttp://dx.doi.org/10.1007/978-3-540-71389-0URN:ISBN:9783540713890 (electronic bk.)Remote access restricted to users with a valid UTM ID via VPN |
spellingShingle | Computer software Logic, Symbolic and mathematical System analysis FOSSACS 2007 (2007 : Braga, Portugal) Seidl, Helmut SpringerLink (Online service) ETAPS 2007 (2007 : Braga, Portugal) Foundations of software science and computational structures [electronic resource] : 10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedings/ |
title | Foundations of software science and computational structures [electronic resource] : 10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedings/ |
title_full | Foundations of software science and computational structures [electronic resource] : 10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedings/ |
title_fullStr | Foundations of software science and computational structures [electronic resource] : 10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedings/ |
title_full_unstemmed | Foundations of software science and computational structures [electronic resource] : 10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedings/ |
title_short | Foundations of software science and computational structures [electronic resource] : 10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedings/ |
title_sort | foundations of software science and computational structures electronic resource 10th international conference fossacs 2007 held as part of the joint european conferences on theory and practice of software etaps 2007 braga portugal march 24 april 1 2007 proceedings |
topic | Computer software Logic, Symbolic and mathematical System analysis |
url | http://dx.doi.org/10.1007/978-3-540-71389-0 |
work_keys_str_mv | AT fossacs20072007bragaportugal foundationsofsoftwarescienceandcomputationalstructureselectronicresource10thinternationalconferencefossacs2007heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2007bragaportugalmarch24april12007proceedings AT seidlhelmut foundationsofsoftwarescienceandcomputationalstructureselectronicresource10thinternationalconferencefossacs2007heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2007bragaportugalmarch24april12007proceedings AT springerlinkonlineservice foundationsofsoftwarescienceandcomputationalstructureselectronicresource10thinternationalconferencefossacs2007heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2007bragaportugalmarch24april12007proceedings AT etaps20072007bragaportugal foundationsofsoftwarescienceandcomputationalstructureselectronicresource10thinternationalconferencefossacs2007heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2007bragaportugalmarch24april12007proceedings |