Aller au contenu

UAM Iztapalapa 50 años

Login
  • 0 notices (Plein)
  • Servicios para Alumnos
  • Servicios para Académicos
  • Recupera tu NIP
  • Mis Préstamos y Multas
  • Langue
    • Inglés
    • Español
    • Francés
    • Galego
bannerbg
Recherche avancée
  • Computer Aided Verification
  • Citer
  • Envoyer par SMS
  • Envoyer par courriel
  • Imprimer
  • Exporter les notices
    • Exporter vers RefWorks
    • Exporter vers EndNoteWeb
    • Exporter vers EndNote
  • Ajouter au panier Retirer du panier
  • Permalien
Chargement en cours…
Prévisualiser
Prévisualiser
Prévisualiser

Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Détails bibliographiques
Cote:Libro Electrónico
Collectivité auteur: SpringerLink (Online service)
Autres auteurs: Ball, Thomas (Éditeur intellectuel), Jones, Robert B. (Éditeur intellectuel)
Format: Électronique eBook
Langue:Inglés
Publié: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Édition:1st ed. 2006.
Collection:Theoretical Computer Science and General Issues, 4144
Sujets:
Computer science.
Software engineering.
Machine theory.
Artificial intelligence.
Logic design.
Theory of Computation.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Formal Languages and Automata Theory.
Artificial Intelligence.
Logic Design.
Accès en ligne:Texto Completo
  • Exemplaires
  • Description
  • Table des matières
  • Documents similaires
  • Affichage MARC

Internet

Texto Completo

Items no disponibles

Informations d'exemplaires de

Documents similaires

  • Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /
    Publié: (2005)
  • Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /
    Publié: (2007)
  • Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings /
    Publié: (2007)
  • Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings /
    Publié: (2011)
  • Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings /
    Publié: (2012)

Coordinación de Servicios Documentales

  • Av. Ferrocarril San Rafael Atlixco, Núm. 186, Col. Leyes de Reforma 1 A Sección, Alcaldía Iztapalapa, C.P. 09310, Ciudad de México.
  • ¿Tienes alguna duda?, por favor envíala al correo eléctronico: bibl@xanum.uam.mx

Horario de servicio

  • Lunes a viernes: 8:00 hrs a 21:45 hrs

Opciones de búsqueda

  • Historique de recherche
  • Catálogo Anterior

¿Necesitas ayuda?

  • Astuces pour la recherche
  • Contacter un bibliothécaire
  • FAQ

Copyright © 2023 Coordinación de Servicios Documentales. Todos los derechos reservados.

Cannot write session to /tmp/vufind_sessions/sess_2ig9vdsd4piege5rnflob4btov