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

Bibliographic Details
Main Authors: FOSSACS 2007 (2007 : Braga, Portugal), Seidl, Helmut, SpringerLink (Online service), ETAPS 2007 (2007 : Braga, Portugal)
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