Skip to content
VuFind
  • Language
    • English
    • Ελληνικά
Advanced
  • Search
  • Testing Software and Systems
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to EndNoteWeb
    • Export to BibTeX
    • Export to RIS
  • Permanent link
Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings

Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings

Show other versions (1)
Bibliographic Details
Main Author: Petrenko, Alexandre
Corporate Author: SpringerLink (Online service)
Other Authors: SimΓo, Adenilso, Maldonado, JosΓ© Carlos
Format: Electronic Kit Book
Language:English
Published: Berlin, Heidelberg IFIP International Federation for Information Processing 2010
Series:Lecture Notes in Computer Science 6435
Subjects:
Computer science
Software engineering
Logic design
Computer Science
Software Engineering
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Models and Principles
Online Access:http://dx.doi.org/10.1007/978-3-642-16573-3
  • Holdings
  • Description
  • Other Versions (1)
  • Similar Items
  • Staff View
Showing 1 - 1 results of 1
Show all versions (2)
Search Result 1
Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings /
Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings /
Published 2010
Call Number: Loading…
Located: Loading…
Full Text via HEAL-Link
Electronic eBook
Show all versions (2)

Similar Items

  • Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
    by: Γ–lveczky, Peter Csaba
    Published: (2010)
  • Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
    by: Carro, Manuel
    Published: (2010)
  • Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
    by: Hatcliff, John
    Published: (2010)
  • Testing – Practice and Research Techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings
    by: Bottaci, Leonardo
    Published: (2010)
  • Tests and Proofs 4th International Conference, TAP 2010, MΓ'laga, Spain, July 1-2, 2010. Proceedings
    by: Fraser, Gordon
    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