Advertisement

Anhang A: Prover-Online-Dokumentation

Chapter
  • 39 Downloads
Part of the Informatik-Fachberichte book series (INFORMATIK, volume 197)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  1. 1.Philips Kommunikations Industrie AGNürnberg 10Germany
  2. 2.Institut für Datenverarbeitung in der Technick (IDT)Kernforschungszentrum Karlsruhe GmbHKarlsruhe 1Germany

Personalised recommendations