Skip to content
VuFind
  • Language
    • English
    • Ελληνικά
Advanced
  • Software Composition
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to EndNoteWeb
    • Export to BibTeX
    • Export to RIS
  • Permanent link
Software Composition 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings

Software Composition 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings

Show other versions (1)
Bibliographic Details
Main Author: Baudry, Benoit
Corporate Author: SpringerLink (Online service)
Other Authors: Wohlstadter, Eric
Format: Electronic Kit Book
Language:English
Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Series:Lecture Notes in Computer Science 6144
Subjects:
Computer science
Computer Communication Networks
Software engineering
Logic design
Computer Science
Software Engineering
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Programming Techniques
Software Engineering/Programming and Operating Systems
Online Access:http://dx.doi.org/10.1007/978-3-642-14046-4
  • Holdings
  • Description
  • Other Versions (1)
  • Similar Items
  • Staff View
Showing 1 - 1 results of 1
Show all versions (2)
Search Result 1
Software Composition 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings /
Software Composition 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings /
Published 2010
Call Number: Loading…
Located: Loading…
Full Text via HEAL-Link
Electronic eBook
Show all versions (2)

Similar Items

  • New Modeling Concepts for Today’s Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings
    by: MΓΌnch, JΓΌrgen
    Published: (2010)
  • Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings
    by: Bouajjani, Ahmed
    Published: (2010)
  • Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings
    by: Tratt, Laurence
    Published: (2010)
  • Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
    by: Barthe, Gilles
    Published: (2010)
  • Architecting Dependable Systems VII
    by: Casimiro, Antonio
    Published: (2010)

Search Options

  • Search History
  • Advanced Search

Find More

  • Browse the Catalog
  • Browse Alphabetically
  • Explore Channels

Need Help?

  • Search Tips
  • Ask a Librarian
Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud
Cannot write session to /tmp/vufind_sessions/sess_kl23ri5cuv11g1g9g2ugq5c2g0