Skip to content
VuFind
  • 0 Items in e-Shelf (Full)
  • History
  • User Account
  • Logout
  • User Account
  • Help
    • English
    • Deutsch
  • Books & more
  • Articles & more
  • JuSER
Advanced
 
  • Literature Request
  • Cite this
  • Email this
  • Export
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
    • Export to MARC
    • Export to MARCXML
    • Export to BibTeX
  • Favorites
  • Add to e-Shelf Remove from e-Shelf
Cover Image
QR Code

Software Engineering and Formal Methods [E-Book]: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings / edited by George Eleftherakis, Mike Hinchey, Mike Holcombe.

Saved in:
Full text
Personal Name(s): Eleftherakis, George.
Hinchey, Mike. / Holcombe, Mike.
Imprint: Berlin, Heidelberg : Springer Berlin Heidelberg : 2012
Imprint: Springer,
Physical Description: digital.
Note: englisch
ISBN: 9783642338267
DOI: 10.1007/978-3-642-33826-7
Series Title: Lecture notes in computer science ; 7504
Subject (LOC):
Artificial intelligence.
Computer Communication Networks.
Computer science.
Logic design.
Software engineering.
Legal Information on the Use of Electronic Resources


  • Description
  • Staff View

Description not available.

  • Forschungszentrum Jülich
  • Central Library (ZB)
  • Powered by VuFind 6.1.1
Loading...