Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Arne Skou (u. a.) | Computer Aided Verification | Taschenbuch | Englisch (1992)

49,95 €

Jetzt bei Ebay:

Zum Angebot *
  • Buchtitel:
    Computer Aided Verification
  • Autor:
    Arne Skou
  • Sprache:
    Englisch
  • Buchreihe:
    Lecture Notes in Computer Science
  • Erscheinungsjahr:
    1992
  • Anzahl der Seiten:
    504
  • Marke:
    Springer-Verlag GmbH, Springer Berlin Heidelberg, Lecture Notes i
  • Hersteller:
    Springer-Verlag GmbH, Springer Berlin Heidelberg, Lecture Notes i
  • Verlag:
    Springer-Verlag GmbH, Springer Berlin Heidelberg, Lecture Notes i
  • Format:
    Taschenbuch
  • Genre:
    Mathematik, Naturwissenschaften, Technik, Medizin
  • Ausgabe:
    1992
  • Titelzusatz:
    3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4,
  • Schlagworte:
    Informatik, Wissensbasierte Systeme, Expertensysteme, EDV, Netzwe
  • Redaktion:
    Arne Skou
  • Herstellungsland und -region:
    Deutschland
  • ISBN:
    3540551794
  • Standardversand:
    DHL Paket 2,95 EUR - Lieferung zwischen 20. January 2025 und 21. January 2025 (bei heutigem Zahlungseingang)
  • Versand nach:
    Deutschland
  • Versand ausgeschlossen:
    Afrika , Asien , Mittelamerika und Karibik , Dänemark , Schweiz , Vatikan , Moldawien , Republik Kroatien , Portugal , Malta , ... und weitere