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)
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_ 1826435042071543808
author FOSSACS 2007 (2007 : Braga, Portugal)
Seidl, Helmut
SpringerLink (Online service)
author_facet FOSSACS 2007 (2007 : Braga, Portugal)
Seidl, Helmut
SpringerLink (Online service)
author_sort FOSSACS 2007 (2007 : Braga, Portugal)
collection OCEAN
description 57
first_indexed 2024-03-05T08:09:46Z
format
id KOHA-OAI-TEST:393285
institution Universiti Teknologi Malaysia - OCEAN
language eng
last_indexed 2024-03-05T08:09:46Z
publishDate 2007
publisher Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg,
record_format dspace
spelling KOHA-OAI-TEST:3932852020-12-19T17:13:44ZFoundations 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) 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)
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