Suchergebnisse für "Edmund M Clarke/Robert P Kurshan"

Suche filtern:

Redaktionelle Inhalte

Volltextsuche

Katalogsuche

Redaktionelle Inhalte

Keine redaktionellen Inhalte für "Edmund M Clarke/Robert P Kurshan" gefunden.

2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21,1990.Proceedings, Lecture Notes in Computer Science 531

Edmund M Clarke/Robert P Kurshan

Springer Verlag GmbH

53,49 €

(inklusive MwSt.)

Lieferbar

Jetzt anmelden und immer über Angebote, Neuigkeiten und Aktionen informiert bleiben.