Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Saved in:
Bibliographic Details
Format Conference Proceeding
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg 2008
SeriesLecture Notes in Computer Science
Subjects
Computer Science
Logics and Meanings of Programs
Operating Systems
Programming Languages, Compilers, Interpreters
Software Engineering
Software Engineering/Programming and Operating Systems
Online AccessGet full text
ISBN9783540921875
3540921877
ISSN0302-9743
1611-3349
DOI10.1007/978-3-540-92188-2

Cover

BookMark eNpVkDFPwzAQhQ0UibT0B7BlZTC98zmxPaKIAlJRF5gtO3aA0sZVnP8vQmFhOul70nv6bs5mfeojYzcIdwigVkZpTrySwI1Arbk4Y8uJ0UROQJyzAmtETiTNxb9MVTNWAIHgRkm6YvOcdwAglBEFu12n4eD25UscP1LIZZeGskmH47Tej7l0fSi3fhfbMV-zy87tc1z-3QV7Wz-8Nk98s318bu433E9TmqN2RgSBQZooW6hNaLWIwYeuckapIKRD4dCQ6pBkQPLRU6UhooYaY0cLtvrtzcfhs3-Pg_UpfWWLYH8-YSczS3ZysydxK-gbPWdL9w
ContentType Conference Proceeding
Copyright Springer-Verlag Berlin Heidelberg 2008
Copyright_xml – notice: Springer-Verlag Berlin Heidelberg 2008
DOI 10.1007/978-3-540-92188-2
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 9783540921882
3540921885
EISSN 1611-3349
Editor Bonsangue, Marcello M.
de Roever, Willem-Paul
Graf, Susanne
de Boer, Frank S.
Editor_xml – sequence: 1
  givenname: Frank S.
  surname: de Boer
  fullname: de Boer, Frank S.
  email: F.S.de.Boer@cwi.nl
  organization: Centre for Mathematics and Computer Science, CWI,, Amsterdam, The Netherlands
– sequence: 2
  givenname: Marcello M.
  surname: Bonsangue
  fullname: Bonsangue, Marcello M.
  email: marcello@liacs.nl
  organization: Leiden Institute of Advanced Computer Science, Leiden University, Leiden, The Netherlands
– sequence: 3
  givenname: Susanne
  surname: Graf
  fullname: Graf, Susanne
  email: Susanne.Graf@imag.fr
  organization: VERIMAG, Grenoble-Gières, France
– sequence: 4
  givenname: Willem-Paul
  surname: de Roever
  fullname: de Roever, Willem-Paul
  email: wpr@informatik.uni-kiel.de
  organization: Institute of Computer Science and Applied Mathematics, Christian-Albrechts University, Kiel, Germany
ExternalDocumentID 184830
GroupedDBID -DT
-GH
-~X
1SB
29L
2HA
2HV
5QI
875
AASHB
ABMNI
ACGFS
ADCXD
AEFIE
ALMA_UNASSIGNED_HOLDINGS
EJD
F5P
FEDTE
HVGLF
LAS
LDH
P2P
RNI
RSU
SVGTG
VI1
~02
ID FETCH-LOGICAL-b1878-18a92d21d49e4c069dc82edbdf5a977d24a12a1937f134d13beb3580e18061ef3
ISBN 9783540921875
3540921877
ISSN 0302-9743
IngestDate Wed Sep 17 03:38:02 EDT 2025
IsPeerReviewed true
IsScholarly true
Language English
LinkModel OpenURL
MeetingName International Symposium on Formal Methods for Components and Objects
MergedId FETCHMERGED-LOGICAL-b1878-18a92d21d49e4c069dc82edbdf5a977d24a12a1937f134d13beb3580e18061ef3
ParticipantIDs springer_books_10_1007_978_3_540_92188_2
PublicationCentury 2000
PublicationDate 2008
PublicationDateYYYYMMDD 2008-01-01
PublicationDate_xml – year: 2008
  text: 2008
PublicationDecade 2000
PublicationPlace Berlin, Heidelberg
PublicationPlace_xml – name: Berlin, Heidelberg
PublicationSeriesTitle Lecture Notes in Computer Science
PublicationYear 2008
Publisher Springer Berlin Heidelberg
Publisher_xml – name: Springer Berlin Heidelberg
RelatedPersons Kleinberg, Jon M.
Mattern, Friedemann
Nierstrasz, Oscar
Steffen, Bernhard
Kittler, Josef
Vardi, Moshe Y.
Weikum, Gerhard
Sudan, Madhu
Naor, Moni
Mitchell, John C.
Terzopoulos, Demetri
Pandu Rangan, C.
Kanade, Takeo
Hutchison, David
Tygar, Doug
RelatedPersons_xml – sequence: 1
  givenname: David
  surname: Hutchison
  fullname: Hutchison, David
– sequence: 2
  givenname: Takeo
  surname: Kanade
  fullname: Kanade, Takeo
– sequence: 3
  givenname: Josef
  surname: Kittler
  fullname: Kittler, Josef
– sequence: 4
  givenname: Jon M.
  surname: Kleinberg
  fullname: Kleinberg, Jon M.
– sequence: 5
  givenname: Friedemann
  surname: Mattern
  fullname: Mattern, Friedemann
– sequence: 6
  givenname: John C.
  surname: Mitchell
  fullname: Mitchell, John C.
– sequence: 7
  givenname: Moni
  surname: Naor
  fullname: Naor, Moni
– sequence: 8
  givenname: Oscar
  surname: Nierstrasz
  fullname: Nierstrasz, Oscar
– sequence: 9
  givenname: C.
  surname: Pandu Rangan
  fullname: Pandu Rangan, C.
– sequence: 10
  givenname: Bernhard
  surname: Steffen
  fullname: Steffen, Bernhard
– sequence: 11
  givenname: Madhu
  surname: Sudan
  fullname: Sudan, Madhu
– sequence: 12
  givenname: Demetri
  surname: Terzopoulos
  fullname: Terzopoulos, Demetri
– sequence: 13
  givenname: Doug
  surname: Tygar
  fullname: Tygar, Doug
– sequence: 14
  givenname: Moshe Y.
  surname: Vardi
  fullname: Vardi, Moshe Y.
– sequence: 15
  givenname: Gerhard
  surname: Weikum
  fullname: Weikum, Gerhard
SSID ssj0002792
ssj0000317710
Score 1.65011
SourceID springer
SourceType Publisher
SubjectTerms Computer Science
Logics and Meanings of Programs
Operating Systems
Programming Languages, Compilers, Interpreters
Software Engineering
Software Engineering/Programming and Operating Systems
Subtitle 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Title Formal Methods for Components and Objects
URI http://link.springer.com/10.1007/978-3-540-92188-2
Volume 5382
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LS8NAEF60InjyVfHNHjwoJdLdbJLdgweRllJq9dBKbyGbbI4t2Hjx1zv7Smgtol5CCCGZ7Jed_WZmZwahmzLJGMkJCRRYHwHjus2LElEQCcFCmpVxKXWC8_M4HkzZcBbNmtp_Jrukkvf558a8kv-gCtcAV50l-wdk64fCBTgHfOEICMNxjfxuXGf6mm_qjam6CbSpq2Cm92Justa0R_xFajeLpc1aIrV8GLmgwXhRmb1YHd_XwU_zFT8AX_MDeD9g54cyWc7NI2BZt-1KfOYUaEWwK6yiUVYRxrq8YWjLiXpNCcqRblS76zst9Bu4S2tcrWYNBiUPu9toO-HdFtp57A1Hb7VPDBRMkmg64lZSXdzQRoGsfC43x8if7NZuK_s9PmTtqgavCPItzG3Yw-QAtZu8SvxaI3mIttT8CO17ALAD4BjdWWSxQxYDsrhBFgOy2CHbRtN-b_I0CFxPi0CCkGCw80zQgpKCCcXybiyKnFNVyKKMMqDiBWUZoRmw6qQkIStIKJXUkWpFODAvVYYnqDWHt50iXIItnoG-Fd1cMphgAixt0MCU5sBLOJdn6NZ_dKp_2mXqS1TD-KRhCuOTmvFJ6fnvb71Ae83fd4la1fuHugJeVslrB-cXl6IrGg
linkProvider Library Specific Holdings
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Formal+Methods+for+Components+and+Objects&rft.series=Lecture+Notes+in+Computer+Science&rft.date=2008-01-01&rft.pub=Springer+Berlin+Heidelberg&rft.isbn=9783540921875&rft.issn=0302-9743&rft.eissn=1611-3349&rft.volume=5382&rft_id=info:doi/10.1007%2F978-3-540-92188-2&rft.externalDocID=184830
thumbnail_s http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fmedia.springernature.com%2Fw306%2Fspringer-static%2Fcover-hires%2Fbook%2F978-3-540-92188-2