Coverart for item
The Resource Formal techniques for distributed systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings, David Lee, Antónia Lopes, Arnd Poetzsch-Heffter (eds.), (electronic resource)

Formal techniques for distributed systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings, David Lee, Antónia Lopes, Arnd Poetzsch-Heffter (eds.), (electronic resource)

Label
Formal techniques for distributed systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings
Title
Formal techniques for distributed systems
Title remainder
Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings
Statement of responsibility
David Lee, Antónia Lopes, Arnd Poetzsch-Heffter (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
BTCTA
Dewey number
004.2422gerDNB
LC call number
QA76.9.D5
LC item number
I573 2009
http://bibfra.me/vocab/lite/meetingDate
2009
http://bibfra.me/vocab/lite/meetingName
International Conference on Formal Methods for Open Object-Based Distributed Systems
http://library.link/vocab/relatedWorkOrContributorDate
2009
http://library.link/vocab/relatedWorkOrContributorName
  • Lee, David
  • Lopes, Antónia
  • Poetzsch-Heffter, Arnd
  • FORTE 2009
Series statement
  • Lecture notes in computer science,
  • LNCS Sublibrary: SL 2, Programming and software engineering
Series volume
5522
http://library.link/vocab/subjectName
  • Electronic data processing
  • Object-oriented programming (Computer science)
  • Formal methods (Computer science)
  • Rechnernetz
  • Software
  • Verteiltes System
Label
Formal techniques for distributed systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings, David Lee, Antónia Lopes, Arnd Poetzsch-Heffter (eds.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000317729
Dimensions
unknown
Isbn
9783642021374
Isbn Type
(pbk.)
Lccn
2009936003
Specific material designation
remote
System control number
(WaSeSS)bookssj0000317729
Label
Formal techniques for distributed systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings, David Lee, Antónia Lopes, Arnd Poetzsch-Heffter (eds.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000317729
Dimensions
unknown
Isbn
9783642021374
Isbn Type
(pbk.)
Lccn
2009936003
Specific material designation
remote
System control number
(WaSeSS)bookssj0000317729

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...