Skip to content
VuFind
  • Language
    • English
    • Ελληνικά
Advanced
  • Search
  • Fields of Logic and Computatio...
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to EndNoteWeb
    • Export to BibTeX
    • Export to RIS
  • Permanent link
Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

Show other versions (1)
Bibliographic Details
Main Author: Blass, Andreas
Corporate Author: SpringerLink (Online service)
Other Authors: Dershowitz, Nachum, Reisig, Wolfgang
Format: Electronic Kit Book
Language:English
Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Series:Lecture Notes in Computer Science 6300
Subjects:
Computer science
Computer Communication Networks
Software engineering
Computer software
Logic design
Computer Science
Logics and Meanings of Programs
Software Engineering
Mathematical Logic and Formal Languages
Algorithm Analysis and Problem Complexity
Programming Languages, Compilers, Interpreters
Online Access:http://dx.doi.org/10.1007/978-3-642-15025-8
  • Holdings
  • Description
  • Other Versions (1)
  • Similar Items
  • Staff View
Description
Physical Description:v.: digital
ISBN:9783642150258
ISSN:0302-9743

Similar Items

  • Graph Transformations and Model-Driven Engineering Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
    by: Engels, Gregor
    Published: (2010)
  • Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
    by: MΓ©ry, Dominique
    Published: (2010)
  • Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
    by: Chatterjee, Krishnendu
    Published: (2010)
  • Tests and Proofs 4th International Conference, TAP 2010, MΓ'laga, Spain, July 1-2, 2010. Proceedings
    by: Fraser, Gordon
    Published: (2010)
  • Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
    by: Barringer, Howard
    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